- (2 other versions)Empirical adequacy and ramsification.Jeffrey Ketland - 2004 - British Journal for the Philosophy of Science 55 (2):287-300.details
|
|
Identity, indiscernibility, and Ante Rem structuralism: The tale of I and –I.Stewart Shapiro - 2008 - Philosophia Mathematica 16 (3):285-309.details
|
|
On constructing a logic for the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2018 - Synthese 195 (3):1231-1254.details
|
|
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.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
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.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
|
|
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.details
|
|
Structures and structuralism in contemporary philosophy of mathematics.Erich H. Reck & Michael P. Price - 2000 - Synthese 125 (3):341-383.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
Awareness and partitional information structures.Salvatore Modica & Aldo Rustichini - 1994 - Theory and Decision 37 (1):107-124.details
|
|
An “I” for an I: Singular terms, uniqueness, and reference.Stewart Shapiro - 2012 - Review of Symbolic Logic 5 (3):380-415.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Adaptive Logics for Defeasible Reasoning.Christian Straßer - 2014 - Springer.details
|
|
No two entities without identity.Benjamin C. Jantzen - 2011 - Synthese 181 (3):433-450.details
|
|
A Principled Solution to Fitch’s Paradox.Igor Douven - 2005 - Erkenntnis 62 (1):47-69.details
|
|
Identity and indiscernibility.Jeffrey Ketland - 2011 - Review of Symbolic Logic 4 (2):171-185.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
|
|
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.details
|
|
Putnam’s Model-Theoretic Argument Reconstructed.Igor Douven - 1999 - Journal of Philosophy 96 (9):479-490.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
|
|
The history of the use of ⟦.⟧-notation in natural language semantics.Brian Rabern - 2016 - Semantics and Pragmatics 9 (12).details
|
|
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.details
|
|
Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.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
|
|
Talking About Models: The Inherent Constraints of Mathematics.Stathis Livadas - 2020 - Axiomathes 30 (1):13-36.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
|
|
Numbers and Everything.Gonçalo Santos - 2013 - Philosophia Mathematica 21 (3):297-308.details
|
|
Fitch’s Paradox and Probabilistic Antirealism.Igor Douven - 2007 - Studia Logica 86 (2):149-182.details
|
|
Why Separation Logic Works.David Pym, Jonathan M. Spring & Peter O’Hearn - 2019 - Philosophy and Technology 32 (3):483-516.details
|
|
Proof and truth: an anti-realist perspective.Luca Tranchini - 2013 - Pisa: Edizioni ETS. Edited by Luca Tranchini.details
|
|
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.details
|
|
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.details
|
|
DiaLaw. On legal justification and dialogical models of argumentation.Arno R. Lodder - 1999 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea Universitydetails
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Husserl's Logical investigations reconsidered.Denis Fisette (ed.) - 2003 - Boston: Kluwer Academic Publishers.details
|
|
Estruturas conceituais e estratégias de investigação: modelos representacionais e instanciais, analogias e correspondência.Valter Alnis Bezerra - 2011 - Scientiae Studia 9 (3):585-609.details
|
|
In Search of Modal Hypodoxes using Paradox Hypodox Duality.Peter Eldridge-Smith - 2022 - Philosophia 50 (5):2457-2476.details
|
|
Soft Axiomatisation: John von Neumann on Method and von Neumann's Method in the Physical Sciences.Miklós Rédei & Michael Stöltzner - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 235--249.details
|
|
(1 other version)Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Mathematical Logic Quarterly 34 (1):3-12.details
|
|
(1 other version)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
|
|
(1 other version)The world, the flesh and the argument from design.William Boos - 1994 - Synthese 101 (1):15 - 52.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
|
|
Are Mathematical Theories Reducible to Non-analytic Foundations?Stathis Livadas - 2013 - Axiomathes 23 (1):109-135.details
|
|
Extending the Non-extendible: Shades of Infinity in Large Cardinals and Forcing Theories.Stathis Livadas - 2018 - Axiomathes 28 (5):565-586.details
|
|
Counting proofs in propositional logic.René David & Marek Zaionc - 2009 - Archive for Mathematical Logic 48 (2):185-199.details
|
|
آیا ارجاع متعین به ساحت الهی ممکن است؟.حامد قدیری - 2021 - پژوهشنامه فلسفه دین 18 (2):97-118.details
|
|
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.details
|
|