ABSTRACTCorrespondence and Shalqvist theories for Modal Logics rely on the simple observation that a relational structure is at the same time the basis for a model of modal logic and for a model of first-order logic with a binary predicate for the accessibility relation. If the underlying set of the frame is split into two components,, and, then frames are at the same time the basis for models of non-distributive lattice logic and of two-sorted, residuated modal logic. This suggests that a reduction of the first to the latter may be possible, encoding Positive Lattice Logic as a fragment of Two-Sorted, Residuated Modal Logic. The reduction is analogous to the well-known Gödel-McKinsey-Tarski translation of Intuitionistic Logic into the S4 system of normal modal logic. In this article, we carry out this reduction in detail and we derive some properties of PLL from corresponding properties of First-Order Logic. The reduction we present is extendible to the case of lattices with operators, making use of recent results by this author on the relational representation of normal lattice expansions.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/11663081.2018.1547515
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,259
Through your library

References found in this work BETA

The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Semantic Analysis of Orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.

View all 38 references / Add more references

Citations of this work BETA

Modal Translation of Substructural Logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
Game-Theoretic Semantics for Non-Distributive Logics.Chrysafis Hartonas - 2019 - Logic Journal of the IGPL 27 (5):718-742.

Add more citations

Similar books and articles

Generalized Ordinal Sums and Translations.Nikolaos Galatos - 2011 - Logic Journal of the IGPL 19 (3):455-466.
Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.
On Varieties of Biresiduation Algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.
Factorization of Residuated Lattices.Michal Krupka - 2009 - Logic Journal of the IGPL 17 (2):205-223.
Fuzzy Galois Connections.Radim Bêlohlávek - 1999 - Mathematical Logic Quarterly 45 (4):497-504.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
On Contraction and the Modal Fragment.Kai Brünnler, Dieter Probst & Thomas Studer - 2008 - Mathematical Logic Quarterly 54 (4):345-349.


Added to PP index

Total views
19 ( #584,889 of 2,518,692 )

Recent downloads (6 months)
3 ( #205,898 of 2,518,692 )

How can I increase my downloads?


My notes