- ¿qué Tan Matemática Es La Lógica Matemática?Axel Barceló Aspeitia - 2003 - Dianoia 48 (51):3-28.details
|
|
Philosophy of Logic – Reexamining the Formalized Notion of Truth.P. Olcott - manuscriptdetails
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Logical and philosophical ideas in certain formal approaches to language.Urszula Wybraniec-Skardowska - 1998 - Synthese 116 (2):231-277.details
|
|
On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.details
|
|
Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 88 (3):405-429.details
|
|
Head or tail? de morgan on the bounds of traditional logic.Víctor Sánchez Valencia - 1997 - History and Philosophy of Logic 18 (3):123-138.details
|
|
On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Mathematical Logic Quarterly 36 (2):95-106.details
|
|
On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):95-106.details
|
|
On Structural Features of the Implication Fragment of Frege’s Grundgesetze.Andrew Tedder - 2017 - Journal of Philosophical Logic 46 (4):443-456.details
|
|
Subminimal Negation on the Australian Plan.Selcuk Kaan Tabakci - 2022 - Journal of Philosophical Logic 51 (5):1119-1139.details
|
|
Variations on da Costa C systems and dual-intuitionistic logics I. analyses of cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.details
|
|
Process and action: Relevant theory and logics.Richard Sylvan - 1992 - Studia Logica 51 (3-4):379 - 437.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
Reconstructing the Unity of Mathematics circa 1900.David J. Stump - 1997 - Perspectives on Science 5 (3):383-417.details
|
|
Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.details
|
|
Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.details
|
|
Normalization and excluded middle. I.Jonathan P. Seldin - 1989 - Studia Logica 48 (2):193 - 217.details
|
|
Meaning constraints.H. Schnelle - 1973 - Synthese 26 (1):13 - 37.details
|
|
On Relative Principal Congruences in Term Quasivarieties.Hernán Javier San Martín - 2022 - Studia Logica 110 (6):1465-1491.details
|
|
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.details
|
|
Consistency proofs for applied mathematics.Merrilee H. Salmon - 1977 - Synthese 34 (3):301 - 312.details
|
|
Je paradox holiče paradoxem?Jiří Raclavský - 2012 - Pro-Fil 12 (2):3.details
|
|
Comments on the acceptance and rejection of sentences in theology.Adam Olszewski - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):99-113.details
|
|
Negative Equivalence of Extensions of Minimal Logic.Sergei P. Odintsov - 2004 - Studia Logica 78 (3):417-442.details
|
|
El Tractatus al rescate de Principia Mathematica: Ramsey y los fundamentos logicistas de las matemáticas.Emilio Méndez Pinto - 2022 - Critica 54 (161):43-69.details
|
|
Verification, falsification, and the logic of enquiry.Peter Milne - 1991 - Erkenntnis 34 (1):23 - 54.details
|
|
Subformula and separation properties in natural deduction via small Kripke models: Subformula and separation properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.details
|
|
Sentential constants in R and r⌝.Robert K. Meyer - 1986 - Studia Logica 45 (3):301 - 327.details
|
|
Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.details
|
|
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327 - 351.details
|
|
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.details
|
|
On meaningfulness and truth.BrianEdison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433-482.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
Wittgenstein & Paraconsistência.João Marcos - 2010 - Principia: An International Journal of Epistemology 14 (1):135-73.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.details
|
|
Noncumulative dialectical models and formal dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.details
|
|
Ein entscheidungsverfahren für den lewisschen modalkalkül S 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13‐15):193-210.details
|
|
Ein Entscheidungsverfahren Für den Lewisschen Modalkalkül s 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13-15):193-210.details
|
|
A theory of modal dialectics.Erik C. W. Krabbe - 1986 - Journal of Philosophical Logic 15 (2):191 - 217.details
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.details
|
|
A Cut-Elimination Proof in Positive Relevant Logic with Necessity.Mirjana Ilić - 2020 - Studia Logica 109 (3):607-638.details
|
|