Pages that link to "Item:Q2259011"
From MaRDI portal
The following pages link to The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011):
Displaying 19 items.
- General-elimination stability (Q526738) (← links)
- Stabilizing quantum disjunction (Q1633237) (← links)
- At least not false, at most possible: between truth and assertibility of superlative quantifiers (Q1709132) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- A Poly-Connexive Logic (Q5006821) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- Some analytic systems of rules (Q6541146) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)
- Harmony in the light of computational ludics (Q6657788) (← links)
