Logica Universalis 13 (1):77-99 (2019)

We present dualities for implicative and residuated lattices. In combination with our recent article on a discrete duality for lattices with unary modal operators, the present article contributes in filling in a gap in the development of Orłowska and Rewitzky’s research program of discrete dualities, which seemed to have stumbled on the case of non-distributive lattices with operators. We discuss dualities via truth, which are essential in relating the non-distributive logic of two-sorted frames with their sorted, residuated modal logic, as well as full Stone duality for residuated lattices. Our results have immediate applications to the semantics of related substructural logical calculi.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11787-018-0217-4
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,178
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

Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Stone Duality for Lattice Expansions.Chrysafis Hartonas - 2018 - Logic Journal of the IGPL 26 (5):475-504.
Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.

View all 15 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.

Add more citations

Similar books and articles

From Semirings to Residuated Kleene Lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
Factorization of Residuated Lattices.Michal Krupka - 2009 - Logic Journal of the IGPL 17 (2):205-223.
Every Free Biresiduated Lattice is Semisimple.H. Takamura - 2003 - Reports on Mathematical Logic:125-133.


Added to PP index

Total views
10 ( #877,811 of 2,455,033 )

Recent downloads (6 months)
1 ( #449,153 of 2,455,033 )

How can I increase my downloads?


My notes