Results 31 to 40 of about 332 (117)
Common Fixed-Point Theorems in Modular Function Spaces Endowed with Reflexive Digraph
International Journal of Mathematics and Mathematical Sciences, 2020 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
Studies in Logic, Grammar and Rhetoric, 2015 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
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 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]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
Estudos Avançados, 1991 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.
Journal for the History of Analytical Philosophy, 2013 Review of Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
Roman Murawski
doaj
OPERADORES DE CONSEQUÊNCIA E RELAÇÕES DE CONSEQUÊNCIA
Kínesis, 2018 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
Princípios, 2015 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
The Baltic International Yearbook of Cognition, Logic and Communication, 2009 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