Pages that link to "Item:Q5213611"
From MaRDI portal
The following pages link to Inversion Principles and Introduction Rules (Q5213611):
Displaying 7 items.
- General-elimination stability (Q526738) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- Deriving Natural Deduction Rules from Truth Tables (Q5224496) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
