- Intuitionism: An introduction to a seminar. [REVIEW]Charles McCarty - 1983 - Journal of Philosophical Logic 12 (2):105 - 149.details
|
|
Cut-free sequent calculi for logics characterized by finite linear Kripke frames.Naosuke Matsuda - 2017 - Logic Journal of the IGPL 25 (5):686-696.details
|
|
Completeness results for intuitionistic and modal logic in a categorical setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.details
|
|
The Church–Fitch knowability paradox in the light of structural proof theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2012 - Synthese 190 (14):2677-2716.details
|
|
Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.details
|
|
Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.details
|
|
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.details
|
|
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels.James Lipton & Michael J. O'Donnell - 1996 - Annals of Pure and Applied Logic 81 (1-3):187-239.details
|
|
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.details
|
|
Kripke Semantics for Intuitionistic Łukasiewicz Logic.A. Lewis-Smith, P. Oliva & E. Robinson - 2020 - Studia Logica 109 (2):313-339.details
|
|
La logique propositionnelle et ses variantes: une approche comparée.François Lepage - 2022 - [Montréal]: Presses de l'Université de Montréal. Edited by Samuel Montplaisir.details
|
|
On Uncertainty.Brian Weatherson - 1998 - Dissertation, Monash Universitydetails
|
|
Creative subject, Beth models and neighbourhood functions.Victor N. Krivtsov - 1996 - Archive for Mathematical Logic 35 (2):89-102.details
|
|
Noncumulative dialectical models and formal dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.details
|
|
A theory of modal dialectics.Erik C. W. Krabbe - 1986 - Journal of Philosophical Logic 15 (2):191 - 217.details
|
|
An investigation of the lumps of thought.Angelika Kratzer - 1989 - Linguistics and Philosophy 12 (5):607 - 653.details
|
|
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Cognitivism about Epistemic Modality.David Elohim - manuscriptdetails
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscriptdetails
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
On the imaginative constructivist nature of design: a theoretical approach.Akin Osman Kazakci - unknowndetails
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation.Norihiro Kamide - 2021 - Journal of Logic, Language and Information 30 (3):491-531.details
|
|
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.details
|
|
Uniqueness.Nirit Kadmon - 1990 - Linguistics and Philosophy 13 (3):273 - 324.details
|
|
The Boolean Many-Valued Solution to the Sorites Paradox.Ken Akiba - 2022 - Synthese 200 (2):1-25.details
|
|
The Orthologic of Epistemic Modals.Wesley H. Holliday & Matthew Mandelkern - manuscriptdetails
|
|
Local causation.Tyler D. P. Brunet - 2021 - Synthese 199 (3-4):10885-10908.details
|
|
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.details
|
|
Delimited control operators prove Double-negation Shift.Danko Ilik - 2012 - Annals of Pure and Applied Logic 163 (11):1549-1559.details
|
|
Interval semantics for tense logic: Some remarks. [REVIEW]I. L. Humberstone - 1979 - Journal of Philosophical Logic 8 (1):171 - 196.details
|
|
Partiality and Adjointness in Modal Logic.Wesley H. Holliday - unknown - In Rajeev Gore (ed.), Advances in modal logic, volume. pp. 313-332.details
|
|
Bohrification of operator algebras and quantum logic.Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2012 - Synthese 186 (3):719 - 752.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Updating Data Semantics.Anthony S. Gillies - 2020 - Mind 129 (513):1-41.details
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning.Christel Grimaud - 2016 - Journal of Applied Non-Classical Logics 26 (4):251-285.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
Eschewing Entities: Outlining a Biology Based Form of Structural Realism.Steven French - 2013 - In Vassilios Karakostas & Dennis Dieks (eds.), EPSA11 Perspectives and Foundational Problems in Philosophy of Science. Cham: Springer. pp. 371--381.details
|
|
The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus.Zachary Fraser - 2007 - Cosmos & History 2 (1):92-133.details
|
|
Non-classical logics and the independence results of set theory.Melvin Fitting - 1972 - Theoria 38 (3):133-142.details
|
|
Many-valued modal logics II.Melvin Fitting - unknowndetails
|
|
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.details
|
|
A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.details
|
|
Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.details
|
|
Intensional Completeness in an Extension of Gödel/dummett Logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51-80.details
|
|
Topos Theory in Montréal in the 1970s: My Personal Involvement.Gonzalo E. Reyes - 2019 - History and Philosophy of Logic 40 (4):389-402.details
|
|