- Numbers and Everything.Gonçalo Santos - 2013 - Philosophia Mathematica 21 (3):297-308.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
آیا ارجاع متعین به ساحت الهی ممکن است؟.حامد قدیری - 2021 - پژوهشنامه فلسفه دین 18 (2):97-118.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Eight Rules for Implication Elimination.Michael Arndt - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 239-273.details
|
|
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.details
|
|
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.details
|
|
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.details
|
|
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.details
|
|
Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Mathematical Logic Quarterly 34 (1):3-12.details
|
|
Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):3-12.details
|
|
An Alternative Approach to Existence Monism: An Interpretation of Truisms Using Linguistic Ontology and the One as Semantic Glue.Masahiro Takatori - 2020 - Annals of the Japan Association for Philosophy of Science 29:75-91.details
|
|
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.Ryo Takemura - 2021 - Archive for Mathematical Logic 60 (7):783-813.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.details
|
|
Identity, indiscernibility, and Ante Rem structuralism: The tale of I and –I.Stewart Shapiro - 2008 - Philosophia Mathematica 16 (3):285-309.details
|
|
An “I” for an I: Singular terms, uniqueness, and reference.Stewart Shapiro - 2012 - Review of Symbolic Logic 5 (3):380-415.details
|
|
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.details
|
|
Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.details
|
|
Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic.Abilio Rodrigues, Juliana Bueno-Soler & Walter Carnielli - 2020 - Synthese 198 (S22):5451-5480.details
|
|
Remarques à propos d’une récente Introduction à la logique.François Rivenc - 1999 - Dialogue 38 (2):369-.details
|
|
Structures and structuralism in contemporary philosophy of mathematics.Erich H. Reck & Michael P. Price - 2000 - Synthese 125 (3):341-383.details
|
|
Why Separation Logic Works.David Pym, Jonathan M. Spring & Peter O’Hearn - 2019 - Philosophy and Technology 32 (3):483-516.details
|
|
On constructing a logic for the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2018 - Synthese 195 (3):1231-1254.details
|
|
Algebraic semantics for modal and superintuitionistic non-monotonic logics.David Pearce & Levan Uridia - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):147-158.details
|
|
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.details
|
|
Natural Language Semantics and Computability.Richard Moot & Christian Retoré - 2019 - Journal of Logic, Language and Information 28 (2):287-307.details
|
|
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.details
|
|
Awareness and partitional information structures.Salvatore Modica & Aldo Rustichini - 1994 - Theory and Decision 37 (1):107-124.details
|
|
Back from the future.Andrea Masini, Luca Viganò & Marco Volpe - 2010 - Journal of Applied Non-Classical Logics 20 (3):241-277.details
|
|
Descartes' Logic of Magnitudes.Gisela Loeck - 1989 - Dialectica 43 (4):339-372.details
|
|
Talking About Models: The Inherent Constraints of Mathematics.Stathis Livadas - 2020 - Axiomathes 30 (1):13-36.details
|
|
Extending the Non-extendible: Shades of Infinity in Large Cardinals and Forcing Theories.Stathis Livadas - 2018 - Axiomathes 28 (5):565-586.details
|
|
Are Mathematical Theories Reducible to Non-analytic Foundations?Stathis Livadas - 2013 - Axiomathes 23 (1):109-135.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.details
|
|
Empirical adequacy and ramsification.Jeffrey Ketland - 2004 - British Journal for the Philosophy of Science 55 (2):287-300.details
|
|
Identity and indiscernibility.Jeffrey Ketland - 2011 - Review of Symbolic Logic 4 (2):171-185.details
|
|
No two entities without identity.Benjamin C. Jantzen - 2011 - Synthese 181 (3):433-450.details
|
|
Category theory, logic and formal linguistics: Some connections, old and new.Jean Gillibert & Christian Retoré - 2014 - Journal of Applied Logic 12 (1):1-13.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
In Search of Modal Hypodoxes using Paradox Hypodox Duality.Peter Eldridge-Smith - 2022 - Philosophia 50 (5):2457-2476.details
|
|
Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - History and Philosophy of Logic 37 (2):170-193.details
|
|
Putnam’s Model-Theoretic Argument Reconstructed.Igor Douven - 1999 - Journal of Philosophy 96 (9):479-490.details
|
|
Fitch’s Paradox and Probabilistic Antirealism.Igor Douven - 2007 - Studia Logica 86 (2):149-182.details
|
|
A Principled Solution to Fitch’s Paradox.Igor Douven - 2005 - Erkenntnis 62 (1):47-69.details
|
|
Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants.Gustavo Fernández Díez - 2000 - Journal of Philosophical Logic 29 (4):409-424.details
|
|
Counting proofs in propositional logic.René David & Marek Zaionc - 2009 - Archive for Mathematical Logic 48 (2):185-199.details
|
|
On Kinds of Indiscernibility in Logic and Metaphysics.Adam Caulton & Jeremy Butterfield - 2012 - British Journal for the Philosophy of Science 63 (1):27-84.details
|
|