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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,456

External links

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

Through your library

Analytics

Added to PP
2022-11-28

Downloads
38 (#472,273)

6 months
36 (#119,105)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jun Wang
Zhejiang University

Citations of this work

Add more citations