Optimal natural dualities for varieties of Heyting algebras

The techniques of natural duality theory are applied to certain finitely generated varieties of Heyting algebras to obtain optimal dualities for these varieties, and thereby to address algebraic questions about them. In particular, a complete characterisation is given of the endodualisable finite subdirectly irreducible Heyting algebras. The procedures involved rely heavily on Priestley duality for Heyting algebras.     

Priestley duality for some subalgebra lattices

Priestley duality can be used to study subalgebras of Heyting algebras and related structures. The dual concept is that of congruence on the dual space and the congruence lattice of a Heyting space is dually isomorphic to the subalgebra lattice of the dual algebra. In this paper we continue our investigation of the congruence lattice of a Heyting space that was undertaken in [10], [8] and [12]. Our main result is a characterization of the modularity of this lattice (Theorem 2.12). Partial results about its complementedness are also given, and among other things a characterization of those finite Heyting algebras with a complemented subalgebra lattice (Theorem 3.5).     

Free Modal Lattices via Priestley Duality

A Priestley duality is developed for the variety j of all modal lattices. This is achieved by restricting to j a known Priestley duality for the variety of all bounded distributive lattices with a meet-homomorphism. The variety j was first studied by R. Beazer in 1986.The dual spaces of free modal lattices are constructed, paralleling P.R. Halmos' construction of the dual spaces of free monadic Boolean algebras and its generalization, by R. Cignoli, to distributive lattices with a quantifier.     

Duality for algebras of relevant logics

This paper defines a category of bounded distributive lattice-ordered grupoids with a left-residual operation that corresponds to a weak system in the family of relevant logics. Algebras corresponding to stronger systems are obtained by adding further postulates. A duality theoey piggy-backed on the Priestley duality theory for distributive lattices is developed for these algebras. The duality theory is then applied in providing characterizations of the dual spaces corresponding to stronger relevant logics.The author gratefully acknowledges the support of the National Sciences and Engineering Research Council of Canada.     

Varieties of Monadic Heyting Algebras Part II: Duality Theory

In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.     

Priestley Duality for Quasi-Stone Algebras

In this paper we describe the Priestley space of a quasi-Stone algebra and use it to show that the class of finite quasi-Stone algebras has the amalgamation property. We also describe the Priestley space of the free quasi-Stone algebra over a finite set. This revised version was published online in June 2006 with corrections to the Cover Date.     

The Universal Group of a Heyting Effect Algebra

A Heyting effect algebra (HEA) is a lattice-ordered effect algebra that is at the same time a Heyting algebra and for which the Heyting center coincides with the effect-algebra center. Every HEA is both an MV-algebra and a Stone-Heyting algebra and is realized as the unit interval in its own universal group. We show that a necessary and sufficient condition that an effect algebra is an HEA is that its universal group has the central comparability and central Rickart properties. Presented by Daniele Mundici     

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators,and Applications to the Semantics of Non-Classical Logics II

The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete with respect to varieties of distributive lattices with certain classes of well-behaved operators for which a Priestley-style duality holds, and present a way of constructing topological and non-topological Kripke-style models for these types of logics. Moreover, we show that, under certain additional assumptions on the variety of the algerabic models of the given logics, soundness and completeness with respect to these classes of Kripke-style models follows by using entirely algebraical arguments from the soundness and completeness of the logic with respect to its algebraic models.     

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators,and Applications to the Semantics of Non-Classical Logics I

The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics that are sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes. This revised version was published online in June 2006 with corrections to the Cover Date.     

Varieties of Three-Valued Heyting Algebras with a Quantifier

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ₃ of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q ₃ and we construct the lattice of subvarieties (Q ₃ ) of the variety Q ₃ .     

Varieties of Monadic Heyting Algebras. Part I

This paper deals with the varieties of monadic Heyting algebras, algebraic models of intuitionistic modal logic MIPC. We investigate semisimple, locally finite, finitely approximated and splitting varieties of monadic Heyting algebras as well as varieties with the disjunction and the existence properties. The investigation of monadic Heyting algebras clarifies the correspondence between intuitionistic modal logics over MIPC and superintuitionistic predicate logics and provides us with the solutions of several problems raised by Ono [35].     

A simplified duality for implicative lattices and l-groups

A topological duality is presented for a wide class of lattice-ordered structures including lattice-ordered groups. In this new approach, which simplifies considerably previous results of the author, the dual space is obtained by endowing the Priestley space of the underlying lattice with two binary functions, linked by set-theoretical complement and acting as symmetrical partners. In the particular case of l-groups, one of these functions is the usual product of sets and the axiomatization of the dual space is given by very simple first-order sentences, saying essentially that both functions are associative and that the space is a residuated semigroup with respect to each of them.The author is supported at the Mathematical Institute of Oxford by a grant of the Argentinian Consejo de Investigations Cientificas y Tecnicas (CONICET). The author wishes to acknowledge the CONICET and the kind hospitality of the Mathematical Institute.     

An Infinitary Extension of Jankov’s Theorem

It is known that for any subdirectly irreducible finite Heyting algebra A and any Heyting algebra B, A is embeddable into a quotient algebra of B, if and only if Jankov’s formula χ _A for A is refuted in B. In this paper, we present an infinitary extension of the above theorem given by Jankov. More precisely, for any cardinal number κ, we present Jankov’s theorem for homomorphisms preserving infinite meets and joins, a class of subdirectly irreducible complete κ-Heyting algebras and κ-infinitary logic, where a κ-Heyting algebra is a Heyting algebra A with # ≥  κ and κ-infinitary logic is the infinitary logic such that for any set Θ of formulas with # Θ ≥  κ, ∨Θ and ∧Θ are well defined formulas.     

Birkhoff-like sheaf representation for varieties of lattice expansions

Given a variety we study the existence of a class such that S1 every A can be represented as a global subdirect product with factors in and S2 every non-trivial A is globally indecomposable. We show that the following varieties (and its subvarieties) have a class satisfying properties S1 and S2: p-algebras, distributive double p-algebras of a finite range, semisimple varieties of lattice expansions such that the simple members form a universal class (bounded distributive lattices, De Morgan algebras, etc) and arithmetical varieties in which the finitely subdirectly irreducible algebras form a universal class (f-rings, vector groups, Wajsberg algebras, discriminator varieties, Heyting algebras, etc). As an application we obtain results analogous to that of Nachbin saying that if every chain of prime filters of a bounded distributive lattice has at most length 1, then the lattice is Boolean.We wish to thank Lic. Alfredo Guerin and Dr. Daniel Penazzi for helping us with linguistics aspects. We are indebted to the referee for several helpful suggestions. We also wish to thank Professor Mick Adams for providing us with several reprints and useful e-mail information on the subject.Suported by CONICOR and SECyT (UNC).     

Varieties of Monadic Heyting Algebras. Part III

This paper is the concluding part of [1] and [2], and it investigates the inner structure of the lattice (MHA) of all varieties of monadic Heyting algebras. For every n , we introduce and investigate varieties of depth n and cluster n, and present two partitions of (MHA), into varieties of depth n, and into varieties of cluster n. We pay a special attention to the lower part of (MHA) and investigate finite and critical varieties of monadic Heyting algebras in detail. In particular, we prove that there exist exactly thirteen critical varieties in (MHA) and that it is decidable whether a given variety of monadic Heyting algebras is finite or not. The representation of (MHA) is also given. All these provide us with a satisfactory insight into (MHA). Since (MHA) is dual to the lattice NExtMIPC of all normal extensions of the intuitionistic modal logic MIPC, we also obtain a clearer picture of the lattice structure of intuitionistic modal logics over MIPC.     

Semilattice-based dualities

The paper discusses regularisation of dualities. A given duality between (concrete) categories, e.g. a variety of algebras and a category of representation spaces, is lifted to a duality between the respective categories of semilattice representations in the category of algebras and the category of spaces. In particular, this gives duality for the regularisation of an irregular variety that has a duality. If the type of the variety includes constants, then the regularisation depends critically on the location or absence of constants within the defining identities. The role of schizophrenic objects is discussed, and a number of applications are given. Among these applications are different forms of regularisation of Priestley, Stone and Pontryagin dualities.     

Semi-DeMorgan algebras

Semi-DeMorgan algebras are a common generalization of DeMorgan algebras and pseudocomplemented distributive lattices. A duality for them is developed that builds on the Priestley duality for distributive lattices. This duality is then used in several applications. The subdirectly irreducible semi-DeMorgan algebras are characterized. A theory of partial diagrams is developed, where properties of algebras are tied to the omission of certain partial diagrams from their duals. This theory is then used to find and give axioms for the largest variety of semi-DeMorgan algebras with the congruence extension property.Semi-deMorgan algebras include demi-p-lattices, the topic of H. Gaitan's contribution to this special edition. D. Hobby's results were obtained independently.     

Free Q-distributive lattices

The dual spaces of the free distributive lattices with a quantifier are constructed, generalizing Halmos' construction of the dual spaces of free monadic Boolean algebras.