Pages that link to "Item:Q1770974"
From MaRDI portal
The following pages link to Algebraic aspects of cut elimination (Q1770974):
Displaying 23 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)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Lattice-valued representation of the cut-elimination theorem (Q1192582) (← links)
- Protoalgebraic Gentzen systems and the cut rule (Q1576379) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Defining formal explanation in classical logic by substructural derivability (Q2117787) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination (Q2350976) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Cut rules and explicit substitutions (Q2713355) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Algebraic cuts (Q4383046) (← links)
- (Q4489070) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)
