Algebraic aspects of cut elimination

DOI10.1023/B:STUD.0000037127.15182.2azbMath1064.03014OpenAlexW2042396269MaRDI QIDQ1770974

Peter Jipsen, Francesco Belardinelli, Hiroakira Ono

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000037127.15182.2a

zbMATH Keywords

cut eliminationsubstructural logicsfinite model propertyresiduated latticesAlgebraic Gentzen systems

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (17)

Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Residuated frames with applications to decidability ⋮ Fuzzy logics from substructural perspective ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ The bounded proof property via step algebras and step frames ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ Distributive full Lambek calculus has the finite model property ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ Defining formal explanation in classical logic by substructural derivability ⋮ Towards a semantic characterization of cut-elimination

This page was built for publication: Algebraic aspects of cut elimination