Results 31 to 40 of about 332 (117)
Common Fixed-Point Theorems in Modular Function Spaces Endowed with Reflexive Digraph
The purpose of this work is to extend the Knaster–Tarski fixed-point theorem to the wider field of reflexive digraph. We give also a DeMarr-type common fixed-point theorem in this context.
Jaauad Jeddi +2 more
doaj +1 more source
Algebraization of Jaśkowski’s Paraconsistent Logic D2
The aim of this paper is to present an algebraic approach to Jaśkowski’s paraconsistent logic D2. We present: a D2-discursive algebra, Lindenbaum- Tarski algebra for D2 and D2-matrices.
Ciuciura Janusz
doaj +1 more source
On generic structures preserving elementary equivalence and elementary embeddability
We consider criteria for elementary equivalence and elementary embeddability for generic structures. They use classical characterizations for the general case.
S.V. Sudoplatov
doaj +1 more source
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
Kaliszyk C, Pąk K.
europepmc +1 more source
Como se sabe existem, pelo menos, quatro teorias de verdade que se evidenciam de relevância para o filósofo que se ocupa da Teoria da Ciência: 1) a Teoria da Correspondência, particularmente, na forma que lhe confiriu A. Tarski; 2) a Teoria da Coerência;
Jair Minoro Abe
doaj +1 more source
Douglas Patterson, Alfred Tarski: Philosophy of Language and Logic.
Review of Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
Roman Murawski
doaj
OPERADORES DE CONSEQUÊNCIA E RELAÇÕES DE CONSEQUÊNCIA
Neste artigo analisamos o operador de consequência de Tarski e algumas relações de consequência num ambiente conjuntista de lógica universal. Neste âmbito, mostramos propriedades e axiomas relativos a estas definições que implicam e são implicadas por ...
Hércules de Araújo Feitosa +2 more
doaj +1 more source
Davidson contra o correspondentismo
A possibilidade de determinar átomos linguísticos e a correspondência destes a entidades, átomos igualmente simples no mundo extralinguístico, constitui o núcleo da assim denominada teoria correspondentista da verdade.
César Fernando Meurer
doaj +2 more sources
Of those students of Franz Brentano who went on to become professional philosophers, Kazimierz Twardowski (1866-1938) is much less well-known than his older contemporaries Edmund Husserl and Alexius Meinong.
Peter Simons
doaj +1 more source

