The following pages link to (Q3661478):
Displaying 15 items.
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
- The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle (Q1056741) (← links)
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- Partial inductive definitions (Q1177153) (← links)
- Stabilizing quantum disjunction (Q1633237) (← links)
- Classical harmony and separability (Q2055927) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules (Q5213629) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem (Q6612865) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)
