Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

Abstract

Constructive dualities have recently been proposed for some lattice-based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining “choice-free spatial dualities for other classes of algebras [\(\ldots \)], giving rise to choice-free completeness proofs for non-classical logics”. We present in this article a way to complete the Holliday–Bezhanishvili project (uniformly, for any normal lattice expansion). This is done by recasting in a choice-free manner recent relational representation and duality results by the author. These results addressed the general representation and duality problem for lattices with quasi-operators, extending the Jónsson–Tarski approach for BAOs, and Dunn’s follow-up approach for distributive generalized Galois logics, to contexts where distributivity may not be assumed. To illustrate, we apply the framework to lattices (and their logics) with some form or other of a (quasi)complementation operator, obtaining correspondence results and canonical extensions in relational frames and choice-free dualities for lattices with a minimal, or a Galois quasi-complement, or involutive lattices, including De Morgan algebras, as well as Ortholattices and Boolean algebras, as special cases.