- Deductively Sound Formal Proofs.P. Olcott - manuscriptdetails
|
|
¿qué Tan Matemática Es La Lógica Matemática?Axel Barceló Aspeitia - 2003 - Dianoia 48 (51):3-28.details
|
|
Philosophical reflections on the foundations of mathematics.Jocelyne Couture & Joachim Lambek - 1991 - Erkenntnis 34 (2):187 - 209.details
|
|
Notes on the theory of variable binding term operators.Newton C. A. da Costa & Chris Mortensen - 1983 - History and Philosophy of Logic 4 (1-2):63-72.details
|
|
Definition in mathematics.Carlo Cellucci - 2018 - European Journal for Philosophy of Science 8 (3):605-629.details
|
|
Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.details
|
|
From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.details
|
|
Sentence, proposition and identity.Jean-Yves Béziau - 2007 - Synthese 154 (3):371 - 382.details
|
|
Metaphilosophy in the Systems of Metatheories.Georg Brutian - 2012 - Metaphilosophy 43 (3):294-305.details
|
|
On communication and computation.Paul Bohan Broderick - 2004 - Minds and Machines 14 (1):1-19.details
|
|
More triviality.Richard Bradley - 1999 - Journal of Philosophical Logic 28 (2):129-139.details
|
|
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.details
|
|
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.details
|
|
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.details
|
|
What is a logical theory? On theories containing assertions and denials.Carolina Blasio, Carlos Caleiro & João Marcos - 2019 - Synthese 198 (S22):5481-5504.details
|
|
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.details
|
|
Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5-6):607-620.details
|
|
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.details
|
|
On rigorous definitions.Nuel Belnap - 1993 - Philosophical Studies 72 (2-3):115 - 146.details
|
|
La Lógica contemporánea en sus manuales. 1940-1980.Enrique Alonso & Víctor Aranda - 2020 - Endoxa 46:165.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
|
|