 Connecting the Revolutionary with the Conventional: Rethinking the Differences Between the Works of Brouwer, Heyting, and Weyl.Kati Kish BarOn  forthcoming  Philosophy of Science.details
 Bishop's Mathematics: A Philosophical Perspective.Laura Crosilla  forthcoming  In Handbook of Bishop's Mathematics. CUP.details
 Fine on the Possibility of Vagueness.Andreas Ditter  forthcoming  In Federico L. G. Faroldi & Frederik van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine.details
 Epsilon Theorems in Intermediate Logics.Matthias Baaz & Richard Zach  2022  Journal of Symbolic Logic 87 (2):682720.details
 Naive Cubical Type Theory.Bruno Bentzen  2022  Mathematical Structures in Computer Science:127.details
 G'3 as the Logic of Modal 3Valued Heyting Algebras.Marcelo E. Coniglio, Aldo FigalloOrellano, Alejandro HernándezTello & Miguel PerezGaspar  2022  IfCoLog Journal of Logics and Their Applications 9 (1):175197.details
 Revisiting Constructive Mingle: Algebraic and Operational Semantics.Yale Weiss  2022  In Katalin Bimbo (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn. London: College Publications. pp. 435455.details
 Book "Set Theory INC^# Based on Intuitionistic Logic with Restricted Modus Ponens Rule".Jaykov Foukzon  2021  LAP LAMBERT Academic Publishing.details
 Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule.Jaykov Foukzon (ed.)  2021  AP LAMBERT Academic Publishing (June 23, 2021).details
 OneStep Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes  2021  Journal of Philosophical Logic 50 (5):837872.details
 Normalisation and Subformula Property for a System of Intuitionistic Logic with General Introduction and Elimination Rules.Nils Kürbis  2021  Synthese 199 (56):1422314248.details
 Strong Depth Relevance.Shay Allen Logan  2021  Australasian Journal of Logic 18 (6):645656.details
 Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon  2021  Dissertation, Technischen Universität Wiendetails
 From Intuitionism to ManyValued Logics Through Kripke Models.Saeed Salehi  2021  In Mojtaba Mojtahedi, Shahid Rahman & Mohammad Saleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339348.details
 Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt  2020  Journal of Philosophical Logic 49 (2):221248.details
 Recovery Operators, Paraconsistency and Duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho  2020  Logic Journal of the IGPL 28 (5):624656.details
 The Philosophy of Logic of Francisco Miró Quesada Cantuarias.Newton da Costa, José Carlos Cifuentes & Luis Felipe Bartolo Alegre  2020  South American Journal of Logic 6 (2):189208.details
 Paracomplete Logics Which Are Dual to the Paraconsistent Logics L3A and L3B.Alejandro HernándezTello, Verónica BorjaMacı́as & Marcelo E. Coniglio  2020  LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.details
 Sketch of a ProofTheoretic Semantics for Necessity.Nils Kürbis  2020  In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 3743.details
 Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis  2020  Logic and Logical Philosophy 30:1.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):8197.details
 Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis  2019  Bulletin of the Section of Logic 48 (4):299317.details
 Kant on the ‘Guarantee of Perpetual Peace’ and the Ideal of the United Nations.Lucas Thorpe  2019  Dokuz Eylül University Journal of Humanities 6 (1):223245..details
 Boxes and Diamonds: An Open Introduction to Modal Logic.Richard Zach  2019  Open Logic Project.details
 On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi  2018  Journal of Logic and Computation 50 (28):935–966..details
 Bilateralism, Independence and Coordination.Gonçalo Santos  2018  Teorema: International Journal of Philosophy 37 (1):2327.details
 Rumfitt on TruthGrounds, Negation, and Vagueness.Richard Zach  2018  Philosophical Studies 175 (8):20792089.details
 Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding Epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill  2017  IfCoLog Journal of Logics and Their Applications 4 (2):287312.details
 Topos Theoretic Quantum Realism.Benjamin Eva  2017  British Journal for the Philosophy of Science 68 (4):11491181.details
 On the Concept of a Notational Variant.Alexander W. Kocurek  2017  In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284298.details
 Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis  2017  Logique Et Analyse 60 (239):301316.details
 Judgement Aggregation in NonClassical Logics.Daniele Porello  2017  Journal of Applied NonClassical Logics 27 (12):106139.details
 Intuitionistc Probability and the Bayesian Objection to Dogmatism.Martin Smith  2017  Synthese 194 (10):39974009.details
 A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil  2016  In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87105.details
 Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis  2016  Journal of Philosophical Logic 45 (6):623644.details
 On Dummett’s Verificationist Justification Procedure.Wagner de Campos Sanz & Hermógenes Oliveira  2016  Synthese 193 (8):25392559.details
 Models and Reality.Robert Stalnaker  2016  Canadian Journal of Philosophy 46 (45):709726.details
 What is Wrong with Classical Negation?Nils Kürbis  2015  Grazer Philosophische Studien 92 (1):5186.details
 Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill  2015  Dissertation, University of Waterloodetails
 NonNormal Modalities in Variants of Linear Logic.D. Porello & N. Troquard  2015  Journal of Applied NonClassical Logics 25 (3):229255.details
 Extensions of Priestda Costa Logic.Thomas Macaulay Ferguson  2014  Studia Logica 102 (1):145174.details
 A ResourceSensitive Logic of Agency.Daniele Porello & Nicolas Troquard  2014  In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723728.details
 CoConstructive Logic for Proofs and Refutations.James Trafford  2014  Studia Humana 3 (4):2240.details
 Intuitionistic Logic and its Philosophy.Panu Raatikainen  2013  AlMukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy (6):114127.details
 How Fundamental is the Fundamental Assumption?Nils Kurbis  2012  Teorema: International Journal of Philosophy 2 (2):519.details
 Incompatibility Semantics From Agreement.Daniele Porello  2012  Philosophia 40 (1):99119.details
 Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods  2012  Thought: A Journal of Philosophy 1 (4):281291.details
 The Logic of Partitions: Introduction to the Dual of the Logic of Subsets: The Logic of Partitions.David Ellerman  2010  Review of Symbolic Logic 3 (2):287350.details
 Modelling Combinatorial Auctions in Linear Logic.Daniele Porello & Ulle Endriss  2010  In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 913, 2010.details
 Modelling Multilateral Negotiation in Linear Logic.Daniele Porello & Ulle Endriss  2010  In {ECAI} 2010  19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 1620, 2010, Proceedings. pp. 381386.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus 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

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
