CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
Tomoyuki Suzuki · The Review of Symbolic Logic · 2010
In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of ε-join preserving operations, ε-meet preserving operations, ε-additive operations, ε-multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in Dunnet al.(2005) and Gehrkeet al.(2005).