Pages that link to "Item:Q793721"

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)