On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices

Studia Logica 111 (3):361-390 (2023)
  Copy   BIBTEX

Abstract

The category \(\mathbb {DRDL}{'}\), whose objects are c-differential residuated distributive lattices satisfying the condition \(\textbf{CK}\), is the image of the category \(\mathbb {RDL}\), whose objects are residuated distributive lattices, under the categorical equivalence \(\textbf{K}\) that is constructed in Castiglioni et al. (Stud Log 90:93–124, 2008). In this paper, we introduce weak monadic residuated lattices and study some of their subvarieties. In particular, we use the functor \(\textbf{K}\) to relate the category \(\mathbb {WMRDL}\), whose objects are weak monadic residuated distributive lattices, and the category \(\mathbb {WMDRDL}{'}\), whose objects are pairs formed by an object of \(\mathbb {DRDL}{'}\) and a center weak universal quantifier.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
Free modal lattices via Priestley duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.

Analytics

Added to PP
2022-11-28

Downloads
26 (#596,950)

6 months
24 (#113,849)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jun Wang
Zhejiang University

Citations of this work

Add more citations