- Choice principles and constructive logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.details
|
|
Possibility Semantics for Intuitionistic Logic.M. J. Cresswell - 2004 - Australasian Journal of Logic 2:11-29.details
|
|
Philosophical reflections on the foundations of mathematics.Jocelyne Couture & Joachim Lambek - 1991 - Erkenntnis 34 (2):187 - 209.details
|
|
Grothendieck’s theory of schemes and the algebra–geometry duality.Gabriel Catren & Fernando Cukierman - 2022 - Synthese 200 (3):1-41.details
|
|
Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.details
|
|
Grammatical structures and logical deductions.Wojciech Buszkowski - 1995 - Logic and Logical Philosophy 3:47-86.details
|
|
Extending Lambek grammars to basic categorial grammars.Wojciech Buszkowski - 1996 - Journal of Logic, Language and Information 5 (3-4):279-295.details
|
|
Editorial introduction.Wojciech Buszkowski & Michael Moortgat - 2002 - Studia Logica 71 (3):261-275.details
|
|
Glivenko and Kuroda for simple type theory.Chad E. Brown & Christine Rizkallah - 2014 - Journal of Symbolic Logic 79 (2):485-495.details
|
|
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.details
|
|
Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks.I. C. Baianu - 2006 - Axiomathes 16 (1):65-122.details
|
|
Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks.I. C. Baianu, R. Brown, G. Georgescu & J. F. Glazebrook - 2006 - Axiomathes 16 (1):65-122.details
|
|
Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.details
|
|
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.details
|
|
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.details
|
|
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.details
|
|
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.details
|
|
Relating First-Order Set Theories and Elementary Toposes.Steve Awodey & Thomas Streicher - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.details
|
|
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.details
|
|
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Cut Elimination in Categories.Kosta Došen - 1999 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
The Internal Logic and Finite Colimits.William Troiani - forthcoming - Logica Universalis:1-40.details
|
|
Basic simple type theory, J. Roger Hindley.Hans-Joerg Tiede - 1999 - Journal of Logic, Language and Information 8 (4):473-476.details
|
|
Geometry and generality in Frege's philosophy of arithmetic.Jamie Tappenden - 1995 - Synthese 102 (3):319 - 361.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.details
|
|
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.details
|
|
Modeling linear logic with implicit functions.Sergey Slavnov - 2014 - Annals of Pure and Applied Logic 165 (1):357-370.details
|
|
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.details
|
|
Termination and confluence in infinitary term rewriting.P. H. Rodenburg - 1998 - Journal of Symbolic Logic 63 (4):1286-1296.details
|
|
Categories without Structures.Andrei Rodin - 2011 - Philosophia Mathematica 19 (1):20-46.details
|
|
Toward discourse representation via pregroup grammars.Anne Preller - 2007 - Journal of Logic, Language and Information 16 (2):173-194.details
|
|
An Overview of Type Theories.Nino Guallart - 2015 - Axiomathes 25 (1):61-77.details
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
Polymorphism and the obstinate circularity of second order logic: A victims’ tale.Paolo Pistone - 2018 - Bulletin of Symbolic Logic 24 (1):1-52.details
|
|
Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.details
|
|
Monoidal logics: completeness and classical systems.Clayton Peterson - 2019 - Journal of Applied Non-Classical Logics 29 (2):121-151.details
|
|
Coherence in substructural categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.details
|
|
A comparison between monoidal and substructural logics.Clayton Peterson - 2016 - Journal of Applied Non-Classical Logics 26 (2):126-159.details
|
|
The meaning of category theory for 21st century philosophy.Alberto Peruzzi - 2006 - Axiomathes 16 (4):424-459.details
|
|
帰納型消去規則としてのウィトゲンシュタインの一意性規則.Mitsuhiro Okada - 2021 - Kagaku Tetsugaku 53 (2):95-114.details
|
|
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.details
|
|
Categorical and algebraic aspects of Martin-löf type theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.details
|
|
On the unification problem for cartesian closed categories.Paliath Narendran, Frank Pfenning & Richard Statman - 1997 - Journal of Symbolic Logic 62 (2):636-647.details
|
|
What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.details
|
|
Is HPSG featureless or unprincipled?M. Andrew Moshier - 1997 - Linguistics and Philosophy 20 (6):669-695.details
|
|