期刊
LOGICA UNIVERSALIS
卷 13, 期 1, 页码 77-99出版社
SPRINGER BASEL AG
DOI: 10.1007/s11787-018-0217-4
关键词
Non-distributive lattices; discrete duality; substructural logics; implicative lattices; residuated lattices; Stone duality; duality via truth; residuated lattices; representation of lattices with operators
类别
We present dualities (discrete duality, duality via truth and Stone duality) for implicative and (co)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 Orowska 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 (co)residuated lattices. Our results have immediate applications to the semantics of related substructural (resource consious) logical calculi.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据