Logic Journal of the IGPL 25 (2):145-182 (2017)

This article addresses and resolves some issues of relational, Kripke-style, semantics for the logics of bounded lattice expansions with operators of well-defined distribution types, focusing on the case where the underlying lattice is not assumed to be distributive. It therefore falls within the scope of the theory of Generalized Galois Logics, introduced by Dunn, and it contributes to its extension. We introduce order-dual relational semantics and present a semantic analysis and completeness theorems for non-distributive lattice logic with n -ary additive or multiplicative operators, with negation operators modally interpreted as impossibility and unnecessity, as well as with implication connectives. Order-dual relational semantics shares with the generalized Kripke frames, or the bi-approximation semantics approach, the use of both a satisfaction and a co-satisfaction relation, but it also responds to the recently voiced concerns of Craig, Haviar and Conradie about the relative non-intuitiveness of the 2-sorted semantics of the aforementioned approaches. In this article, we provide a standard interpretation of modalities and natural interpretations of both negation and implication, despite the absence of distribution. Thereby, our results contribute in creating the necessary background for research in non-distributive logics with modalities variously interpreted as dynamic, temporal etc, by analogy to the classical case.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzw057
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: 64,107
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford, England: Oxford University Press.
Semantic Analysis of Tense Logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
Star and Perp: Two Treatments of Negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.
Positive Modal Logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.

View all 14 references / Add more references

Citations of this work BETA

Stone Duality for Lattice Expansions.Chrysafis Hartonas - 2018 - Logic Journal of the IGPL 26 (5):475-504.
Lattice Logic as a Fragment of (2-Sorted) Residuated Modal Logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.

View all 8 citations / Add more citations

Similar books and articles

A Sahlqvist Theorem for Distributive Modal Logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
Kripke-Style Semantics for Many-Valued Logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Negative Modalities, Consistency and Determinedness.Adriano Dodó & João Marcos - 2014 - Electronic Notes in Theoretical Computer Science 300:21-45.
Kripke-Style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
The Distributivity on Bi-Approximation Semantics.Tomoyuki Suzuki - 2016 - Notre Dame Journal of Formal Logic 57 (3):411-430.
Neighbourhood Semantics and Generalized Kripke Models.Bernd Dahn - 1976 - Bulletin of the Section of Logic 5 (1):2-7.
Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.


Added to PP index

Total views
4 ( #1,251,152 of 2,454,643 )

Recent downloads (6 months)
1 ( #449,377 of 2,454,643 )

How can I increase my downloads?


My notes