Constructions, proofs and the meaning of logical constants
From MaRDI portal
Publication:793721
DOI10.1007/BF00247187zbMath0539.03038OpenAlexW2129620958MaRDI QIDQ793721
No author found.
Publication date: 1983
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00247187
constructionconstructivitytheory of meaningfoundations of intuitionismintuitionistic logical operations
Related Items
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics, THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), Conceptions of truth in intuitionism, Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach, Meaning explanations at higher dimension, Lorenzen's Proof of Consistency for Elementary Number Theory, From the knowability paradox to the existence of proofs, What is the logic of inference?, L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction, Montague's paradox, informal provability, and explicit modal logic, Verificationism and Classical Realizability, Intuitionism, Meaning Theory and Cognition, The creating subject, the Brouwer-Kripke schema, and infinite proofs, The seeming interdependence between the concepts of valid inference and proof, Explaining Deductive Inference, Anatomy of a proposition, Completeness of the primitive recursive \(\omega \)-rule, Five observations concerning the intended meaning of the intuitionistic logical constants, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Gödel and Intuitionism, Realizability and intuitionistic logic, Truth and Proof in Intuitionism, Coalgebras as Types Determined by Their Elimination Rules, Propositions and specifications of programs in Martin-Löf's type theory, On the proof theory of infinitary modal logic, Geometric Rules in Infinitary Logic, Lorenzen Between Gentzen and Schütte, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
