Pages that link to "Item:Q793721"

The following pages link to Constructions, proofs and the meaning of logical constants (Q793721):

Displaying 33 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)
• The intended interpretation of intuitionistic logic (Q793720) (← 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)
• (Q4360856) (← links)
• Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
• (Q4793042) (← 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)
• (Q5692804) (← links)
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
• Lorenzen's Proof of Consistency for Elementary Number Theory (Q6098749) (← links)
• The validity of inference and argument (Q6612867) (← links)