Pages that link to "Item:Q5024505"
From MaRDI portal
The following pages link to CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505):
Displaying 5 items.
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- (Q4877107) (← links)
- (Q5028444) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- A general schema for bilateral proof rules (Q6544534) (← links)