Pages that link to "Item:Q2743638"
From MaRDI portal
The following pages link to Admissibility of structural rules for extensions of contraction-free sequent calculi (Q2743638):
Displaying 9 items.
- Proof-theoretical analysis of order relations (Q701722) (← links)
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem (Q1407600) (← links)
- A Gentzen-style sequent calculus of constructions with expansion rules (Q1575638) (← links)
- Admissibility, compatibility, and deducibility in first-order sequent logics (Q1650338) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Sequent calculus proof theory of intuitionistic apartness and order relations (Q1818431) (← links)
- Absorbing the structural rules in the sequent calculus with additional atomic rules (Q2309499) (← links)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
- Contraction-free proofs and finitary games for linear logic (Q2805162) (← links)