Pages that link to "Item:Q4133922"

The following pages link to Meaning and proofs: on the conflict between classical and intuitionistic logic (Q4133922):

Displayed 32 items.

• Logical consequence and the paradoxes (Q484113) ‎ (← links)
• Why conclusions should remain single (Q543530) ‎ (← links)
• From the knowability paradox to the existence of proofs (Q625705) ‎ (← links)
• On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) ‎ (← links)
• An interpretation of classical proofs (Q1050333) ‎ (← links)
• The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle (Q1056741) ‎ (← links)
• Intuitionistic truth (Q1062982) ‎ (← links)
• Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989) ‎ (← links)
• Harmony and autonomy in classical logic (Q1568714) ‎ (← links)
• Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) ‎ (← links)
• On the equivalence conjecture for proof-theoretic harmony (Q1934955) ‎ (← links)
• Classical harmony and separability (Q2055927) ‎ (← links)
• Game of grounds (Q2080589) ‎ (← links)
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) ‎ (← links)
• Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) ‎ (← links)
• Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) ‎ (← links)
• What is a relevant connective? (Q2155944) ‎ (← links)
• Introduction: Inferences and proofs (Q2288269) ‎ (← links)
• Dag Prawitz on proofs, operations and grounding (Q2288275) ‎ (← links)
• Manifestability and epistemic truth (Q2339003) ‎ (← links)
• Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology (Q2442132) ‎ (← links)
• Fitch's paradox and probabilistic antirealism (Q2454642) ‎ (← links)
• Towards a semantics based on the notion of justification (Q2500814) ‎ (← links)
• The original sin of proof-theoretic semantics (Q2690170) ‎ (← links)
• Antirealism, Meaning and Truth-Conditional Semantics (Q2908760) ‎ (← links)
• Game Semantics and the Manifestation Thesis (Q2908761) ‎ (← links)
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) ‎ (← links)
• Verificationism and Classical Realizability (Q3305313) ‎ (← links)
• Dummett's case for intuitionism (Q3342527) ‎ (← links)
• A Notion of C-Justification for Empirical Statements (Q5213621) ‎ (← links)
• Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) ‎ (← links)
• Program Testing and the Meaning Explanations of Intuitionistic Type Theory (Q5253930) ‎ (← links)