Pages that link to "Item:Q5422301"
From MaRDI portal
The following pages link to Which structural rules admit cut elimination? An algebraic criterion (Q5422301):
Displaying 12 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Logic and majority voting (Q2121481) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
