- The sense/reference distinction in constructive semantics.Per Martin-löf - 2021 - Bulletin of Symbolic Logic 27 (4):501-513.details
|
|
On Different Ways of Being Equal.Bruno Bentzen - 2020 - Erkenntnis 87 (4):1809-1830.details
|
|
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.details
|
|
The cognitive act and the first-person perspective: an epistemology for constructive type theory.Maria van der Schaar - 2011 - Synthese 180 (3):391 - 417.details
|
|
Assertions and Their Justification: Demonstration and Self-Evidence.Maria van der Schaar - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 183-196.details
|
|
Identity and harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.details
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.details
|
|
Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.details
|
|
Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.details
|
|
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.details
|
|
The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.details
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
Eta-rules in Martin-löf type theory.Ansten Klev - 2019 - Bulletin of Symbolic Logic 25 (3):333-359.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.details
|
|
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.details
|
|
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.details
|
|
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.details
|
|
Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.details
|
|
Grundlagen der Mathematik I. Hilbert & Bernays - 1935 - Revue de Métaphysique et de Morale 42 (2):12-14.details
|
|
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.details
|
|
The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
Absolute Generality.Agustín Rayo & Gabriel Uzquiano Cruz - 2009 - Critica 41 (121):67-84.details
|
|