Output details
11 - Computer Science and Informatics
University of Leicester
Bitopological duality for distributive lattices and Heyting algebras
<10>Bitopological models of non-classical logics feature one topology of provable and one of disprovable propositions. We axiomatize the bitopological models of negation-free logic and of intuitionistic logic. The paper is cited by researchers in diverse areas such as artificial intelligence (Greco-etal, in: Advances in Intelligent Information Systems, Springer 2012) who make essential use of one of our theorems, in quantum physics (Doering, arXiv:1202.2750), in logic (Loohuis, Venema, Review of Symbolic Logic, 2010) who conjecture that our paper presents the right framework for solving an important problem raised in their paper, and in topology (Bauer-etal, Topology and its Applications 160, 2013).