- Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.details
- States of Affairs as Structured Extensions in Free Logic.Hans-Peter Leeb - forthcoming - Logic and Logical Philosophy:1.details
- A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2022 - Studia Logica 110 (1):219-239.details
- Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis - 2021 - In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.details
- Mirroring Theorems in Free Logic.Ethan Brauer - 2020 - Notre Dame Journal of Formal Logic 61 (4):561-572.details
- McKinsey's "Consequences of Reference Failure". [REVIEW]Ulf Hlobil - 2020 - Notre Dame Philosophical Reviews 2020:N/A.details
- Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.details
- A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic.Hans-Peter Leeb - 2020 - Journal of Philosophical Logic 49 (6):1091-1109.details
- A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.details
- Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.details
- Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.details
- Anselm's God in Isabelle/HOL.Ben Blumson - 2017 - Archive of Formal Proofs:9.details
- Russell's Revenge: A Problem for Bivalent Fregean Theories of Descriptions.Jan Heylen - 2017 - Pacific Philosophical Quarterly 98 (4):636-652.details
- Truth and Existence.Jan Heylen & Leon Horsten - 2017 - Thought: A Journal of Philosophy 6 (1):106-114.details
- Second-Order Modal Logic.Andrew Parisi - 2017 - Dissertation, University of Connecticutdetails
- Existence Hedges and Neutral Free Logic.Daniel Yeakel - 2016 - Proceedings of the Aristotelian Society 116 (3):379-386.details
- Gödel's "Slingshot" Argument and His Onto-Theological System.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.details
- Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.details
- Fregean Free Logics.Siu-Fan Lee - 2009 - Philosophical Researches (Dec):123-129.details
- State-of-Affairs Semantics for Positive Free Logic.Hans-Peter Leeb - 2006 - Journal of Philosophical Logic 35 (2):183-208.details
- Sachverhalte und Extensionalität in der freien Logik.Hans-Peter Leeb - 2006 - Sankt Augustin: Academia Verlag.details
- Free Logic: Selected Essays. [REVIEW]Ken Akiba - 2004 - International Philosophical Quarterly 44 (2):281-283.details
- Free Logics.Ermanno Bencivenga - 2002 - In D. M. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd Edition. Kluwer Academic Publishers. pp. 147--196.details
- Handbook of Philosophical Logic, 2nd Edition.D. M. Gabbay & F. Guenthner (eds.) - 2002 - Kluwer Academic Publishers.details
- More Free Logic.Scott Lehmann - 2002 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, vol. 5. New York: Springer. pp. 197-259.details
- Karel Lambert, Free Logics: Their Foundations, Character, and Some Applications Thereof (Prophil Projekte Zur Philosophie Bd. 1. Eine Schriftenreihe des Forschungsinstituts Philosophie/Technik/Wirtschaft an der Universität Salzburg). Sankt Augustin: Academia-Verlag, 1997. 156 Pp. Asch. 239. ISBN 3-89665-000-9. [REVIEW]Hans-Peter Leeb - 2001 - History and Philosophy of Logic 22:233-236.details
- `No Input, No Output' Logic.Scott Lehmann - 2001 - In Karel Lambert, Edgar Morscher & Alexander Hieke (eds.), New Essays in Free Logic: In Honour of Karel Lambert. Norwell, Mass: Kluwer. pp. 147-155.details
- Quasi-Truth, Supervaluations and Free Logic.Newton C. A. da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.details
- Subject-Predicate Calculus Free From Existential Import.V. A. Bocharov - 1983 - Studia Logica 42 (2-3):209 - 221.details
- First-Order Logic Based on Inclusion and Abstraction.John Bacon - 1982 - Journal of Symbolic Logic 47 (4):793-808.details
- A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.details
- Slightly Non-Standard Logic.Scott Lehmann - 1980 - Logique Et Analyse 23 (92):379-92.details
- Possibility Pre-Supposition Free Logics.Roderic A. Girle - 1974 - Notre Dame Journal of Formal Logic 15 (1):45-62.details
- Axiomatizing Category Theory in Free Logic.Christoph Benzmüller & Dana Scott - manuscriptdetails
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|