This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. It grew out of an attempt to settle a conjecture we had made in 1987. Firstly, we unify and extend strikingly similar results of [ 48 ] and [ 50 ] to the (new) equational class DHMSH of dually hemimorphic semi-Heyting algebras, or to its subvariety BDQDSH of blended dual quasi-De Morgan semi-Heyting algebras, thus settling the conjecture. (...) Secondly, we give a criterion for a unary expansion of semi-Heyting algebras to be a discriminator variety and give an algorithm to produce discriminator varieties. We then apply the criterion to exhibit an increasing sequence of discriminator subvarieties of BDQDSH . We also use it to prove that the variety DQSSH of dually quasi-Stone semi- Heyting algebras is a discriminator variety. Thirdly, we investigate a binary expansion of semi-Heyting algebras, namely the variety DblSH of double semi-Heyting algebras by characterizing its simples, and use the characterization to present an increasing sequence of discriminator subvarieties of DblSH . Finally, we apply these results to give bases for “small” subvarieties of BDQDSH , DQSSH , and DblSH. (shrink)

The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of (...) their corresponding algebraic semantics. Firstly, we present a Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras. (shrink)

In this paper we prove that the free algebras in a subvariety equation image of the variety equation image of semi-Heyting algebras are directly decomposable if and only if equation image satisfies the Stone identity.

Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its subvarieties. In particular, we prove that the category of dually hemimorphic semi-Heyting algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. We also study the lattice of congruences of a dually hemimorphic semi-Nelson (...) class='Hi'>algebra through some of its deductive systems. (shrink)

An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ ≈ x ∧ y, x ∧ ≈ x ∧ [ → ], and x → x ≈ 1.

The purpose of this paper is to define and investigate the new class of quasi-Stone algebras . Among other things we characterize the class of simple QSA's and the class of subdirectly irreducible QSA's. It follows from this characterization that the subdirectly irreducible QSA's form an elementary class and that the variety of QSA's is locally finite. Furthermore we prove that the lattice of subvarieties of QSA's is an -chain. MSC: 03G25, 06D16, 06E15.

We determine the number of non‐isomorphic semi‐Heyting algebras on an n‐element chain, where n is a positive integer, using a recursive method. We then prove that the numbers obtained agree with those determined in [1]. We apply the formula to calculate the number of non‐isomorphic semi‐Heyting chains of a given size in some important subvarieties of the variety of semi‐Heyting algebras that were introduced in [5]. We further exploit this recursive method to calculate the (...) numbers of non‐isomorphic semi‐Heyting chains with n elements such that removing the mth element () we are left with a subalgebra. We also solve a related problem posed in [1] of determining the number of ways a semi‐Heyting chain with elements can be extended to a n element semi‐Heyting chain by adding a new element in the mth place. Finally we combine these results by finding a second way to calculate the numbers that provides some extra information. (shrink)

In this paper we shall introduce the variety WQS of weak-quasi-Stone algebras as a generalization of the variety QS of quasi-Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬-lattices to give a duality for WQS. We prove that a weak-quasi-Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We (...) will also determine the simple and subdirectly irreducible algebras. (shrink)

We investigate expansions of Heyting algebras in possession of a unary term describing the filters that correspond to congruences. Hasimoto proved that Heyting algebras equipped with finitely many normal operators have such a term, generalising a standard construction on finite-type boolean algebras with operators. We utilise Hasimoto’s technique, extending the existence condition to a larger class of EHAs and some classes of double-Heyting algebras. Such a term allows us to characterise varieties with equationally definable principal congruences using (...) a single equation. Moreover, in the presence of a dual pseudocomplement operation, discriminator varieties are characterised by a pair of equations. We also prove that a variety of dually pseudocomplemented EHAs with a normal filter term is semisimple if and only if it is a discriminator variety. This generalises two known results, one by Kowalski and Kracht for finite-type varieties of BAOs, and the other by the present author for dually pseudocomplemented Heyting algebras without additional operations. (shrink)

We investigate expansions of Heyting algebras in possession of a unary term describing the filters that correspond to congruences. Hasimoto proved that Heyting algebras equipped with finitely many normal operators have such a term, generalising a standard construction on finite-type boolean algebras with operators. We utilise Hasimoto’s technique, extending the existence condition to a larger class of EHAs and some classes of double-Heyting algebras. Such a term allows us to characterise varieties with equationally definable principal congruences using (...) a single equation. Moreover, in the presence of a dual pseudocomplement operation, discriminator varieties are characterised by a pair of equations. We also prove that a variety of dually pseudocomplemented EHAs with a normal filter term is semisimple if and only if it is a discriminator variety. This generalises two known results, one by Kowalski and Kracht for finite-type varieties of BAOs, and the other by the present author for dually pseudocomplemented Heyting algebras without additional operations. (shrink)

In this paper we shall introduce the variety WQS of weak-quasi-Stone algebras as a generalization of the variety QS of quasi-Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬-lattices to give a duality for WQS. We prove that a weak-quasi-Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We (...) will also determine the simple and subdirectly irreducible algebras. (shrink)

In this paper we introduce a logic that we name semi Heyting–Brouwer logic, \, in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic \ is an axiomatic extension of \ and that the propositional calculi of intuitionistic logic \ and semi-intuitionistic logic \ turn out to be fragments of \.

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.

In this note we give equational bases for varieties of quasi-Stone algebras.

We investigate the class of those algebras in which is a de Morgan algebra, is a quasi-Stone algebra, and the operations \ and \ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.

Let p be prime number, K be a p‐adically closed field, a semi‐algebraic set defined over K and the lattice of semi‐algebraic subsets of X which are closed in X. We prove that the complete theory of eliminates quantifiers in a certain language, the ‐structure on being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field for. We classify these ‐structures up to elementary equivalence, and get (...) in particular that the complete theory of only depends on m, not on K nor even on p. As an application we obtain a classification of semi‐algebraic sets over countable p‐adically closed fields up to so‐called “pre‐algebraic” homeomorphisms. (shrink)

We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering unification. (...) We consider examples of frontal Heyting algebras, in particular Heyting algebras with the successor, γ and G operations as well as expansions of some commutative integral residuated lattices with successor operations. (shrink)

The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [ 4 ] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$.

A well-known result, going back to the twenties, states that, under some reasonable assumptions, any logic can be characterized as the set of formulas satisfied by a matrix 〈,F〉, whereis an algebra of the appropriate type, andFa subset of the domain of, called the set of designated elements. In particular, every quasi-classical modal logic—a set of modal formulas, containing the smallest classical modal logicE, which is closed under the inference rules of substitution and modus ponens—is characterized by such (...) a matrix, wherenow is a modal algebra, andFis a filter of. If the modal logic is in fact normal, then we can do away with the filter; we can study normal modal logics in the setting of varieties of modal algebras. This point of view was adopted already quite explicitly in McKinsey and Tarski [8]. The observation that the lattice of normal modal logics is dually isomorphic to the lattice of subvarieties of a variety of modal algebras paved the road for an algebraic study of normal modal logics. The algebraic approach made available some general results from Universal Algebra, notably those obtained by Jónsson [6], and thereby was able to contribute new insights in the realm of normal modal logics [2], [3], [4], [10].The requirement that a modal logic be normal is rather a severe one, however, and many of the systems which have been considered in the literature do not meet it. For instance, of the five celebrated modal systems, S1–S5, introduced by Lewis, S4 and S5 are the only normal ones, while only SI fails to be quasi-classical. The purpose of this paper is to generalize the algebraic approach so as to be applicable not just to normal modal logics, but to quasi-classical modal logics in general. (shrink)

Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H. P. Sankappanavar as a generalization of Heyting algebras. We present a new, more streamlined set of axioms for semi-intuitionistic logic, which we prove translationally equivalent to the original one. We then study some formulas that define a semi-Heyting implication, and specialize this study to the case in which the formulas use only the lattice operators and the intuitionistic implication. We (...) prove then that all the logics thus obtained are equivalent to intuitionistic logic, and give their Kripke semantics. (shrink)

The variety \ of semi-Heyting algebras was introduced by H. P. Sankappanavar [13] as an abstraction of the variety of Heyting algebras. Semi-Heyting algebras are the algebraic models for a logic HsH, known as semi-intuitionistic logic, which is equivalent to the one defined by a Hilbert style calculus in Cornejo :9–25, 2011) [6]. In this article we introduce a Gentzen style sequent calculus GsH for the semi-intuitionistic logic whose associated logic GsH is the (...) same as HsH. The advantage of this presentation of the logic is that we can prove a cut-elimination theorem for GsH that allows us to prove the decidability of the logic. As a direct consequence, we also obtain the decidability of the equational theory of semi-Heyting algebras. (shrink)

This article provides an algebraic study of the propositional system $\mathtt {InqB}$ of inquisitive logic. We also investigate the wider class of $\mathtt {DNA}$ -logics, which are negative variants of intermediate logics, and the corresponding algebraic structures, $\mathtt {DNA}$ -varieties. We prove that the lattice of $\mathtt {DNA}$ -logics is dually isomorphic to the lattice of $\mathtt {DNA}$ -varieties. We characterise maximal and minimal intermediate logics with the same negative variant, and we prove a suitable version of Birkhoff’s classic (...) variety theorems. We also introduce locally finite $\mathtt {DNA}$ -varieties and show that these varieties are axiomatised by the analogues of Jankov formulas. Finally, we prove that the lattice of extensions of $\mathtt {InqB}$ is dually isomorphic to the ordinal $\omega +1$ and give an axiomatisation of these logics via Jankov $\mathtt {DNA}$ -formulas. This shows that these extensions coincide with the so-called inquisitive hierarchy of [9].1. (shrink)

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. (shrink)

A Heyting effect algebra 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. (shrink)

In A. Kumar, & M. Banerjee [(2012). Definable and rough sets in covering-based approximation spaces. In T. Li. (eds.), Rough sets and knowledge technology (pp. 488–495). Springer-Verlag], A. Kumar, & M. Banerjee [(2015). Algebras of definable and rough sets in quasi order-based approximation spaces. Fundamenta Informaticae, 141(1), 37–55], authors proposed a pair of lower and upper approximation operators based on granules generated by quasiorders. This work is an extension of algebraic results presented therein. A characterisation has been presented for (...) those quasiorder-generated covering-based approximation spaces whose corresponding collections of definable and rough sets form Stone algebras. The notion of rough lattice was proposed in A. Kumar, & M. Banerjee [(2015). Algebras of definable and rough sets in quasi order-based approximation spaces. Fundamenta Informaticae, 141(1), 37–55], A. Kumar [(2020). A Study of Algebras and Logics of Rough Sets Based on Classical and Generalized Approximation Spaces. In Transactions on Rough Sets XXII, LNCS (Vol. 12485, pp. 123–251). Springer]. Some special rough lattices are introduced in this work, viz. rough Stone algebra, ∼1-complemented and ∼2-complemented rough lattices. Representations of these algebras in terms of rough sets are obtained. Moreover, logics for these algebras are shown to be sound and complete with respect to rough set semantics. (shrink)

In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the (...) announced proposition. We dually characterize the associated submodel-injection map as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. As is well known, these complex algebras are complete atomic BAOs . The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras . Thanks to this construction, the benefits and the wider scope of applications given by a point-free, intuitionistic theory of epistemic updates are made available. As an application of this dual characterization, we axiomatize the intuitionistic analogue of PAL, which we refer to as IPAL, prove soundness and completeness of IPAL w.r.t. both algebraic and relational models, and show that the well known Muddy Children Puzzle can be formalized in IPAL. (shrink)

In the Laws of Thought, Boole establishes a theory of secondary propositions based upon the notion of time. This temporal interpretation of secondary propositions has historically been met with wide disapproval and is usually dismissed in the modern literature as a philosophical non-starter. What was Boole thinking? This paper attempts to give an answer to this question. Specifically, it provides an account according to which Boole’s temporal interpretation follows from his psychologistic conception of logic, in addition to certain background assumptions (...) regarding the psychological necessity of the concept of time. Once Boole’s psychological premises are laid bare, it becomes clearer how he might have viewed the temporal interpretation to be an essential feature of his theory of secondary propositions. (shrink)

In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in [13–15, 25]. Due to the fact that the language of modal subordination algebras involves a binary subordination relation, we will find it convenient to use the so-called quasi-inequalities and |$\varPi _{2}$|-statements. We use an algorithm to transform (restricted) inductive quasi-inequalities and (restricted) inductive |$\varPi _{2}$|-statements to equivalent first-order (...) correspondents on the dual Stone spaces with two relations with respect to arbitrary (resp. admissible) valuations. (shrink)

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive (...) operations arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes’ representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas–Dunn duality and introduce the categories of 2spaces and 2spaces\. The categories of 2spaces and 2spaces\ will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone (...) spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent. (shrink)

Hamkins and Löwe proved that the modal logic of forcing is S4.2 . In this paper, we consider its modal companion, the intermediate logic KC and relate it to the fatal Heyting algebra H ZFC of forcing persistent sentences. This Heyting algebra is equationally generic for the class of fatal Heyting algebras. Motivated by these results, we further analyse the class of fatal Heyting algebras.

This is the second of a series of papers that investigate fragments of quasi-Nelson logic (QNL) from an algebraic logic standpoint. QNL, recently introduced as a common generalization of intuitionistic and Nelson’s constructive logic with strong negation, is the axiomatic extension of the substructural logic |$FL_{ew}$| (full Lambek calculus with exchange and weakening) by the Nelson axiom. The algebraic counterpart of QNL (quasi-Nelson algebras) is a class of commutative integral residuated lattices (a.k.a. |$FL_{ew}$|-algebras) that includes both Heyting (...) and Nelson algebras and can be characterized algebraically in several alternative ways. The present paper focuses on the algebraic counterpart (a class we dub quasi-Nelson implication algebras, QNI-algebras) of the implication–negation fragment of QNL, corresponding to the connectives that witness the algebraizability of QNL. We recall the main known results on QNI-algebras and establish a number of new ones. Among these, we show that QNI-algebras form a congruence-distributive variety (Cor. 3.15) that enjoys equationally definable principal congruences and the strong congruence extension property (Prop. 3.16); we also characterize the subdirectly irreducible QNI-algebras in terms of the underlying poset structure (Thm. 4.23). Most of these results are obtained thanks to twist representations for QNI-algebras, which generalize the known ones for Nelson and quasi-Nelson algebras; we further introduce a Hilbert-style calculus that is algebraizable and has the variety of QNI-algebras as its equivalent algebraic semantics. (shrink)

This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved popular among Russian-speaking logicians. This translation helps make the ideas accessible to a wider audience and pays tribute to an influential mind in mathematical logic. The book discusses the theory of Heyting algebras and closure algebras, as well as the corresponding intuitionistic and modal logics. The author introduces the key notion of a (...) hybrid that “crossbreeds” topology and order, resulting in the structures now known as Esakia spaces. The main theorems include a duality between the categories of closure algebras and of hybrids, and a duality between the categories of Heyting algebras and of so-called strict hybrids. Esakia’s book was originally published in 1985. It was the first of a planned two-volume monograph on Heyting algebras. But after the collapse of the Soviet Union, the publishing house closed and the project died with it. Fortunately, this important work now lives on in this accessible translation. The Appendix of the book discusses the planned contents of the lost second volume. (shrink)

The aim of this paper is to introduce a new approach to the modal operators of necessity and possibility. This approach is based on the existence of two negations in certain lattices that we call bi-Heyting algebras. Modal operators are obtained by iterating certain combinations of these negations and going to the limit. Examples of these operators are given by means of graphs.

In this work, we study the relational representation of the class of Tarski algebras endowed with a subordination, called subordination Tarski algebras. These structures were introduced in a previous paper as a generalisation of subordination Boolean algebras. We define the subordination Tarski spaces as topological spaces with a fixed basis endowed with a closed relation. We prove that there exist categorical dualities between categories whose objects are subordination Tarski algebras and categories whose objects are subordination Tarski spaces. These results extend (...) the known dualities for modal algebras. Finally, we are going to characterise some algebraic conditions written in the quasi-modal language by means of first-order conditions. (shrink)

In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answers the question posed in Wolter [4].

In this paper we introduce a class of inquisitive Heyting algebras as algebraic structures that are isomorphic to algebras of finite antichains of bounded implicative meet semilattices. It is argued that these structures are suitable for algebraic semantics of inquisitive superintuitionistic logics, i.e. logics of questions based on intuitionistic logic and its extensions. We explain how questions are represented in these structures and provide several alternative characterizations of these algebras. For instance, it is shown that a Heyting (...) class='Hi'>algebra is inquisitive if and only if its prime filters and filters generated by sets of prime elements coincide and prime elements are closed under relative pseudocomplement. We prove that the weakest inquisitive superintuitionistic logic is sound with respect to a Heyting algebra iff the algebra is what we call a homomorphic p-image of some inquisitive Heyting algebra. It is also shown that a logic is inquisitive iff its Lindenbaum–Tarski algebra is an inquisitive Heyting algebra. (shrink)

The paper studies Heyting algebras within the framework of computable structure theory. We prove that the class _K_ containing all Heyting algebras with distinguished atoms and coatoms is complete in the sense of the work of Hirschfeldt et al. (Ann Pure Appl Logic 115(1-3):71-113, 2002). This shows that the class _K_ is rich from the computability-theoretic point of view: for example, every possible degree spectrum can be realized by a countable structure from _K_. In addition, there is no (...) simple syntactic characterization of computably categorical members of _K_ (i.e., structures from _K_ possessing a unique computable copy, up to computable isomorphisms). (shrink)

The main purpose of this paper is to introduce a class of algebraic structures related to many-valued ukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras.

A Q -Heyting algebra is an algebra of type such that is a Heyting algebra and the unary operation ∇ satisfies the conditions ∇0=0, a ∧∇ a = a , ∇=∇ a ∧∇ b and ∇=∇ a ∨∇ b , for any a , b ∈ H . This paper is devoted to the study of the subvariety QH L of linear Q -Heyting algebras. Using Priestley duality we investigate the subdirectly irreducible linear Q (...) -Heyting algebras and, as consequences, we derive some properties of the lattice of subvarieties of QH L and find equational bases for some of these subvarieties. (shrink)

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. (shrink)