Algebraic aspects of cut elimination
From MaRDI portal
Publication:1770974
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
cut eliminationsubstructural logicsfinite model propertyresiduated latticesAlgebraic Gentzen systems
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
