Author:
Dunn J. Michael,Gehrke Mai,Palmigiano Alessandra
Abstract
AbstractIn this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.
Publisher
Cambridge University Press (CUP)
Reference17 articles.
1. Boolean Algebras with Operators. Part I
2. Constructive canonicity in non-classical logics
3. Gehrke M. and Priestley H. , MV-algebras and beyond: Canonicity, duality, and correspondence, manuscript in preparation.
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. B-frame duality;Annals of Pure and Applied Logic;2023-05
2. INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS;The Journal of Symbolic Logic;2023-02-20
3. Linear Logic Properly Displayed;ACM Transactions on Computational Logic;2023-01-28
4. Labelled Calculi for Lattice-Based Modal Logics;Logic and Its Applications;2023
5. Stone Duality for Relations;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023