Cut elimination and strong separation for substructural logics: An algebraic approach
- 30 June 2010
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 161 (9) , 1097-1133
- https://doi.org/10.1016/j.apal.2010.01.003
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- From Axioms to Analytic Rules in Nonclassical LogicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- On Action Logic: Equational Theories of Action AlgebrasJournal of Logic and Computation, 2006
- On the finite embeddability property for residuated ordered groupoidsTransactions of the American Mathematical Society, 2004
- Algebraic Aspects of Cut EliminationStudia Logica, 2004
- THE STRUCTURE OF RESIDUATED LATTICESInternational Journal of Algebra and Computation, 2003
- The finite embeddability property for residuated lattices, pocrims and BCK-algebrasAlgebra universalis, 2002
- Finite Models of Some Substructural LogicsMathematical Logic Quarterly, 2002
- The finite model property for BCI and related systemsStudia Logica, 1996
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logicThe Journal of Symbolic Logic, 1991
- Algebraizable logicsMemoirs of the American Mathematical Society, 1989