- Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.details
|
|
(1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.details
|
|
Quantifiers and Quantification.Gabriel Uzquiano - 2014 - Stanford Encyclopedia of Philosophy.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
|
|
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
|
|
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
|
|
Possibility Semantics for Intuitionistic Logic.M. J. Cresswell - 2004 - Australasian Journal of Logic 2:11-29.details
|
|
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.details
|
|
The praxis of Alain Badiou.Paul Ashton, Adam Bartlett & Justin Clemens (eds.) - 2006 - Seddon, Melbourne, Australia: Re.Press.details
|
|
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.details
|
|
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.details
|
|
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.details
|
|
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.details
|
|
Truth as an epistemic ideal.John Nolt - 2008 - Journal of Philosophical Logic 37 (3):203 - 237.details
|
|
An investigation of the lumps of thought.Angelika Kratzer - 1989 - Linguistics and Philosophy 12 (5):607 - 653.details
|
|
A theory of modal dialectics.Erik C. W. Krabbe - 1986 - Journal of Philosophical Logic 15 (2):191 - 217.details
|
|
Uniqueness.Nirit Kadmon - 1990 - Linguistics and Philosophy 13 (3):273 - 324.details
|
|
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.details
|
|
Is Dialetheism an Idealism? The Russellian Fallacy and the Dialetheist’s Dilemma.Francesco Berto - 2007 - Dialectica 61 (2):235–263.details
|
|
On Uncertainty.Brian Weatherson - 1998 - Dissertation, Monash Universitydetails
|
|
Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.details
|
|
(1 other version)The Orthologic of Epistemic Modals.Wesley H. Holliday & Matthew Mandelkern - manuscriptdetails
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.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
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Kripke Semantics for Intuitionistic Łukasiewicz Logic.A. Lewis-Smith, P. Oliva & E. Robinson - 2020 - Studia Logica 109 (2):313-339.details
|
|
Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.details
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscriptdetails
|
|
Cognitivism about Epistemic Modality.David Elohim - manuscriptdetails
|
|
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Quine and Quantified Modal Logic – Against the Received View.Adam Tamas Tuboly - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):518-545.details
|
|
Cut-free formulations for a quantified logic of here and there.Grigori Mints - 2010 - Annals of Pure and Applied Logic 162 (3):237-242.details
|
|
What is a genuine intuitionistic notion of falsity?Yaroslav Shramko - 2012 - Logic and Logical Philosophy 21 (1):3-23.details
|
|
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.details
|
|
(1 other version)Bohrification of operator algebras and quantum logic.Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2012 - Synthese 186 (3):719 - 752.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
(1 other version)Many-valued modal logics II.Melvin Fitting - unknowndetails
|
|
Direct deductive computation on discourse representation structures.Uwe Reyle & Dov M. Gabbay - 1994 - Linguistics and Philosophy 17 (4):343 - 390.details
|
|
A complete negationless system.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.details
|
|
Intuitionism: An introduction to a seminar. [REVIEW]Charles McCarty - 1983 - Journal of Philosophical Logic 12 (2):105 - 149.details
|
|
Noncumulative dialectical models and formal dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.details
|
|
Interval semantics for tense logic: Some remarks. [REVIEW]I. L. Humberstone - 1979 - Journal of Philosophical Logic 8 (1):171 - 196.details
|
|
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.details
|
|
Updating Data Semantics.Anthony S. Gillies - 2020 - Mind 129 (513):1-41.details
|
|
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable.J. G. Anderson - 1972 - Mathematical Logic Quarterly 18 (8-11):113-130.details
|
|