The following pages link to General-elimination stability (Q526738):
Displaying 8 items.
- On harmony and permuting conversions (Q518743) (← links)
- Stabilizing quantum disjunction (Q1633237) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
