Pages that link to "Item:Q5027662"
From MaRDI portal
The following pages link to THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662):
Displaying 5 items.
- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus (Q3638285) (← links)
- Cut Elimination in the Presence of Axioms (Q4254567) (← links)
- UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675) (← links)
- A NOTE ON THE SEQUENT CALCULI (Q5078820) (← links)
- A novel approach to equality (Q6142508) (← links)