Abstract
In this paper, we discuss the canonical extension of poset expansions. To obtain canonicity results on poset expansions, we study Ghilardi and Meloni’s canonicity methodology for Heyting algebras with unary modalities, raise the problem of extending the technique to poset expansions, and give a possible solution for the problem. Finally, we obtain a syntactic account of canonical inequalities on poset expansions consisting of constants, \({\epsilon_{\bot}}\) -additive operations, \({\epsilon^{\top}}\) -multiplicative operations, diamond, box, and strict adjoint pairs, and bounded poset expansions consisting of constants, \({\epsilon}\) -join preserving operations, \({\epsilon}\) -meet preserving operations, \({\epsilon}\) -additive operations, \({\epsilon}\) -multiplicative operations and adjoint pairs, which are more restricted than the case of lattice expansions, but can still account for Sahlqvist-like canonicity results.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Allwein G., Dunn M.: Kripke models for linear logic. J. Symbolic Logic 58, 514–545 (1993)
Birkhoff G.: Lattice Theory, 3rd ed. Colloquium Publications, vol. XXV. American Mathematical Society, Providence (1973)
Blackburn P., de Rijke M., Venema V.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2002)
Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd ed. Cambridge University Press, Cambridge (2002)
de Rijke M., Venema Y.: Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica 54, 61–78 (1995)
Došen K.: Sequent-systems and groupoid models. I. Studia Logica 47, 353–385 (1988)
Došen K.: Sequent-systems and groupoid models. II. Studia Logica 48, 41–65 (1989)
Dunn M.: Relevance logic and entailment. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 3, pp. 117–224. Kluwer, Dordrecht (1986)
Dunn M., Gehrke M., Palmigiano A.: Canonical extensions and relational completeness of some substructural logics. J. Symbolic Logic 70, 713–740 (2005)
Gehrke M., Harding J.: Bounded lattice expansions. J. Algebra 239, 345–371 (2001)
Gehrke M., Nagahashi H., Venema Y.: A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Logic 131, 65–102 (2005)
Gehrke M., Priestley H.: Non-canonicity of MV-algebras. Houston J. Math. 28, 449–455 (2002)
Gehrke M., Priestley H.: Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operators. J. Pure Appl. Algebra 209, 269–290 (2007)
Ghilardi S., Meloni G.: Constructive canonicity in non-classical logics. Ann. Pure Appl. Logic 86, 1–32 (1997)
Goranko V., Vakarelov D.: Elementary canonical formulae: extending Sahlqvist’s theorem. Ann. Pure Appl. Logic 141, 180–217 (2006)
Harding J.: Canonical completions of lattices and ortholattices. Tatra Mt. Math. Publ. 15, 85–96 (1998)
Jónsson B.: On the canonicity of Sahlqvist identities. Studia Logica 53, 473–491 (1994)
Jónsson B., Tarski A.: Boolean algebras with operators I. Amer. J. Math. 73, 891–993 (1951)
Jónsson B., Tarski A.: Boolean algebras with operators II. Amer. J. Math. 74, 127–162 (1952)
Ono H., Komori Y.: Logics without the contraction rule. J. Symbolic Logic 50, 169–201 (1985)
Routley R., Plumwood V., Meyer R.K., Brady R.T.: Relevant logics and their rivals. Part 1. The basic philosophical and semantical theory. Ridgeview, Atascadero (1982)
Sahlqvist H.: Completeness and correspondence in the first and second order semantics for modal logic. In: Kanger, S. (ed) Proceedings of the Third Scandinavian Logic Symposium, pp. 110–143. Elsevier, Amsterdam (1975)
Sambin G., Vaccaro V.: Topology and duality in modal logic. Ann. Pure Appl. Logic 37, 249–296 (1988)
Sambin G., Vaccaro V.: A new proof of Sahlqvist’s theorem on modal definability and completeness. J. Symbolic Logic 54, 992–999 (1989)
Seki T.: A Sahlqvist theorem for relevant modal logics. Studia Logica 73, 383–411 (2003)
Suzuki T.: Canonicity results of substructural and lattice-based logics. Rev. Symb. Log. 4, 1–42 (2011)
Urquhart A.: Duality for algebras of relevant logics. Studia Logica 56, 263–276 (1996)
Venema Y.: Algebras and coalgebras. In: van Benthem, J., Blackburn, P., Wolter, F. (eds) Handbook of Modal Logic, vol. 3, pp. 331–426. Elsevier, Amsterdam (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by I. Hodkinson.
The author’s PhD research is supported by the Yoshida Scholarship Foundation.
Rights and permissions
About this article
Cite this article
Suzuki, T. On canonicity of poset expansions. Algebra Univers. 66, 243 (2011). https://doi.org/10.1007/s00012-011-0154-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-011-0154-z