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