- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.details
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
A Proof‐Theoretic Account of the Miners Paradox.Ansten Klev - 2016 - Theoria 82 (4):351-369.details
|
|
Modality of Obligation as a Legal Phenomenon.Elena Z. Kireeva - 2017 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 30 (1):129-150.details
|
|
The validity paradox in modal S.Dale Jacquette - 1996 - Synthese 109 (1):47 - 62.details
|
|
Moral dilemmas, disjunctive obligations, and Kant's principle that 'ought' implies 'can'.Dale Jacquette - 1991 - Synthese 88 (1):43 - 55.details
|
|
A labelled natural deduction system for linear temporal logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.details
|
|
What fa says about a.Lloyd Humberstone - 2000 - Dialectica 54 (1):3–28.details
|
|
Conceivability and the ontological argument.Leroy T. Howe - 1966 - Sophia 5 (1):3-8.details
|
|
Sets and Plural Comprehension.Keith Hossack - 2014 - Journal of Philosophical Logic 43 (2-3):517-539.details
|
|
Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.details
|
|
On quantifying out.A. P. Hazen - 1995 - Journal of Philosophical Logic 24 (3):291 - 319.details
|
|
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.details
|
|
L'implication et la négation vues au Travers Des méthoDes de Gentzen et de Fitch.Jean-Blaise Grize - 1955 - Dialectica 9 (3‐4):363-381.details
|
|
The modality of nāgārjuna's dialectics.Ramendra Nath Ghose - 1987 - Journal of Indian Philosophy 15 (3):285-309.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Infinite Regress Arguments as per impossibile Arguments in Aristotle: De Caelo 300a30–b1, Posterior Analytics 72b5–10, Physics V.2 225b33–226a10. [REVIEW]Matthew Duncombe - 2022 - Rhizomata 10 (2):262-282.details
|
|
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.details
|
|
Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).Hanoch Ben-Yami - manuscriptdetails
|
|
The logic of the articles in traditional philosophy: a contribution to the study of conceptual structures.Else Margarete Barth - 1974 - Boston: D. Reidel Pub. Co..details
|
|
Sophisticated knowledge representation and reasoning requires philosophy.Selmer Bringsjord, Micah Clark & Joshua Taylor - forthcoming - In Ruth Hagengruber (ed.), Philosophy's Relevance in Information Science.details
|
|
Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Richmond Thomason, Paolo Bouquet & Luciano Serafini (eds.), Perspectives on Context. CSLI Stanford. pp. 171-188.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|
On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea Universitydetails
|
|
Aristotle's Theory of the Assertoric Syllogism.Stephen Read - manuscriptdetails
|
|
Notes on the art of logic.Nuel Belnap - manuscriptdetails
|
|
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.details
|
|
Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.details
|
|