TY - JOUR
AU - Palmigiano, Alessandra
AB - One of the major trends in modern logic has been the move from logic to logics. This has created the need to develop general results applicable to enormous families of logical systems, while at the same time accounting for the specific features of each family member in a modular way. This volume focuses on canonicity and correspondence results for non-classical logics. Canonicity and correspondence are intimately related, and recently, general methodologies for obtaining such results have become very prominent. These methodologies extend the original Sahlqvist canonicity and correspondence theorem from the realm of model theory to the realm of algebra, coalgebra and Stone-type duality. This volume collects a small sample of results in this very vibrant research field. The first paper, entitled ‘The Canonical FEP Construction’, introduces a novel construction, based on canonical extensions. This construction is used to prove the finite embeddability property (FEP) for varieties of decreasing residuated lattice-ordered algebras defined by equations from a certain syntactically specified class. The finite algebras produces in this way are guaranteed to be internally compact, which is not the case with more traditional FEP constructions. The second paper, ‘Dual characterizations for finite lattices via correspondence theory for monotone modal logic’, 
TI - Editorial
JO - Journal of Logic and Computation
DO - 10.1093/logcom/exx013
DA - 2017-04-01
UR - https://www.deepdyve.com/lp/oxford-university-press/editorial-JszQL6OkL2
SP - 607
EP - 608
VL - 27
IS - 3
DP - DeepDyve
ER -