Pages that link to "Item:Q793721"
From MaRDI portal
The following pages link to Constructions, proofs and the meaning of logical constants (Q793721):
Displayed 28 items.
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
- Realizability and intuitionistic logic (Q792319) (← links)
- Propositions and specifications of programs in Martin-Löf's type theory (Q800719) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- Meaning explanations at higher dimension (Q1688954) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Anatomy of a proposition (Q2052190) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Intuitionism, Meaning Theory and Cognition (Q2757999) (← links)
- L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction (Q2963977) (← links)
- Conceptions of truth in intuitionism (Q3160445) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- Explaining Deductive Inference (Q5213606) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
- Lorenzen's Proof of Consistency for Elementary Number Theory (Q6098749) (← links)