- The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.details
|
|
On the adequacy of representing higher order intuitionistic logic as a pure type system.Hans Tonino & Ken-Etsu Fujita - 1992 - Annals of Pure and Applied Logic 57 (3):251-276.details
|
|
A simple proof of second-order strong normalization with permutative conversions.Makoto Tatsuta & Grigori Mints - 2005 - Annals of Pure and Applied Logic 136 (1-2):134-155.details
|
|
The completeness of Heyting first-order logic.W. W. Tait - 2003 - Journal of Symbolic Logic 68 (3):751-763.details
|
|
Proof-theoretic Semantics for Classical Mathematics.William W. Tait - 2006 - Synthese 148 (3):603-622.details
|
|
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.details
|
|
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.details
|
|
The Seeming Interdependence Between the Concepts of Valid Inference and Proof.Dag Prawitz - 2019 - Topoi 38 (3):493-503.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.details
|
|
On completeness and cocompleteness in and around small categories.Duško Pavlović - 1995 - Annals of Pure and Applied Logic 74 (2):121-152.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.details
|
|
William Tait. The provenance of pure reason. Essays on the philosophy of mathematics and on its history.Charles Parsons - 2009 - Philosophia Mathematica 17 (2):220-247.details
|
|
Normal Gentzen deductions in the classical case.A. Palmigiano - 2000 - Logic Journal of the IGPL 8 (2):211-219.details
|
|
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.details
|
|
On Modal Logics of Partial Recursive Functions.Pavel Naumov - 2005 - Studia Logica 81 (3):295-309.details
|
|
Intensionality and boundedness.Glyn Morrill - 1990 - Linguistics and Philosophy 13 (6):699 - 726.details
|
|
Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.details
|
|
Reduction of finite and infinite derivations.G. Mints - 2000 - Annals of Pure and Applied Logic 104 (1-3):167-188.details
|
|
Fondements ou constructivité ?Mathieu Marion - 2004 - Philosophiques 31 (1):225-230.details
|
|
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.details
|
|
On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.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
|
|
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.details
|
|
First-order glue.Miltiadis Kokkonidis - 2008 - Journal of Logic, Language and Information 17 (1):43-68.details
|
|
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.details
|
|
Completeness of the normal typed fragment of the λ-system U.Glen Helman - 1977 - Journal of Philosophical Logic 6 (1):33 - 46.details
|
|
An interpretation of classical proofs.Glen Helman - 1983 - Journal of Philosophical Logic 12 (1):39 - 71.details
|
|
On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.details
|
|
Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.details
|
|
Category theory, logic and formal linguistics: Some connections, old and new.Jean Gillibert & Christian Retoré - 2014 - Journal of Applied Logic 12 (1):1-13.details
|
|
Semantic bootstrapping of type-logical grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.details
|
|
Grammar induction by unification of type-logical lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.details
|
|
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.details
|
|
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.details
|
|
Choice principles and constructive logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.details
|
|
A new deconstructive logic: Linear logic.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1997 - Journal of Symbolic Logic 62 (3):755-807.details
|
|
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.details
|
|
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
Adding logic to the toolbox of molecular biology.Giovanni Boniolo, Marcello D’Agostino, Mario Piazza & Gabriele Pulcini - 2015 - European Journal for Philosophy of Science 5 (3):399-417.details
|
|
Generalized quantifiers in declarative and interrogative sentences.Raffaella Bernardi & Richard Moot - 2003 - Logic Journal of the IGPL 11 (4):419-434.details
|
|
What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.details
|
|
Types as graphs: Continuations in type logical grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.details
|
|