Cited By
View all- Birkmann FUrbat HMilius S(2024)Monoidal Extended Stone DualityFoundations of Software Science and Computation Structures10.1007/978-3-031-57228-9_8(144-165)Online publication date: 6-Apr-2024
The variety of $${{\bf N4}^\perp}$$ -lattices provides an algebraic semantics for the logic $${{\bf N4}^\perp}$$ , a version of Nelson's logic combining paraconsistent strong negation and explosive intuitionistic negation. In this paper we construct the Priestley duality for the category of $${{\bf N4}^\perp}$$ -...
Positive modal logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically associated with PML ...
We observe that if R : = ( I , , J ) is an incidence structure, viewed as a matrix, then the topological closure of the set of columns is the Stone space of the Boolean algebra generated by the rows. As a consequence, we obtain that the topological ...
Elsevier Science Publishers Ltd.
United Kingdom