In the present paper we continue the investigation of the lattice of subvarieties of the variety of √′ P quasi-MV algebras, already started in [6]. Beside some general results on the structure of such a lattice, the main contribution of this work is the solution of a long-standing open problem concerning these algebras: namely, we show that the variety generated by the standard disk algebra D r is not finitely based, and we provide an infinite equational basis for (...) the same variety. (shrink)

The lattices of varieties were studied in many works (see [4], [5], [11], [24], [31]). In this paper we describe the lattice of all subvarieties of the variety $G_{Ex}^n$ defined by so called externally compatible identities of Abelian groups and the identity xⁿ ≈ yxⁿ. The notation in this paper is the same as in [2].

In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.

Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure (...) over a modal algebra. (shrink)

We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17—19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FL i -algebras and FL o -algebras. On the other hand, we show that the subvariety lattice of residuated lattices contains (...) only five 3-potent commutative representable atoms and two integral commutative representable atoms. Inspired by the construction of atoms, we are also able to prove that the variety of integral commutative representable residuated lattices is generated by its 1-generated finite members. (shrink)

In this paper we study and equationally characterize the subvarieties of BL, the variety of BL-algebras, which are generated by families of single-component BL-chains, i.e. MV-chains, Product-chain or Gödel-chains. Moreover, it is proved that they form a segment of the lattice of subvarieties of BL which is bounded by the Boolean variety and the variety generated by all single-component chains, called ŁΠG.

The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equational basis for each subvariety is given.

-autonomous lattices are the algebraic exponentials and without additive constants. In this paper, we investigate the structure theory of this variety and some of its subvarieties, as well as its relationships with other classes of algebras.

We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.

The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as varieties that do not (...) arise in this way as the variety of Basic algebras or the variety of Heyting algebras. Apart from WH itself the paper studies the subvarieties of WH that naturally correspond to subintuitionistic logics, namely the variety of R-weakly Heyting algebras, the variety of T-weakly Heyting algebras and the varieties of Basic algebras and subresiduated lattices. (shrink)

In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {ℚ, }, {ℝ, } and {ℤ, }, respectively. In this paper we consider the subvariety [MATHEMATICAL SCRIPT CAPITAL V] generated by the finite members of Disc. We prove that V is locally finite and we determine its lattice of subvarieties. We also prove (...) that [MATHEMATICAL SCRIPT CAPITAL V] = Disc ∩ Dens = Disc ∩ Cont. (shrink)

A hemi-implicative lattice is an algebra \((A,\wedge,\vee,\rightarrow,1)\) of type (2, 2, 2, 0) such that \((A,\wedge,\vee,1)\) is a lattice with top and for every \(a,b\in A\), \(a\rightarrow a = 1\) and \(a\wedge (a\rightarrow b) \le b\). A new variety of hemi-implicative lattices, here named sub-Hilbert lattices, containing both the variety generated by the \(\{\wedge,\vee,\rightarrow,1\}\) -reducts of subresiduated lattices and that of Hilbert lattices as proper subvarieties is defined. It is shown that any sub-Hilbert lattice is determined (up (...) to isomorphism) by a triple (_L_, _D_, _S_) which satisfies the following conditions: _L_ is a bounded distributive lattice, _D_ is a sublattice of _L_ containing 0, 1 such that for each \(a, b \in L\) there is an element \(c \in D\) with the property that for all \(d \in D\), \(a \wedge d \le b\) if and only if \(d \le c\) (we write \(a \rightarrow _D b\) for the element _c_), and _S_ is a non void subset of _L_ such that _S_ is closed under \(\rightarrow _D\) and _S_, with its inherited order, is itself a lattice. Finally, the congruences of sub-Hilbert lattices are studied. (shrink)

The variety of residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., \-groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated \-groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated \-groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend (...) some parts of the theory of join-completions of residuated \-groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices. (shrink)

A symmetric residuated lattice is an algebra such that is a commutative integral bounded residuated lattice and the equations x=x and =xy are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription εx=x→0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive →0)=1 is satisfied) we consider when an iteration of ε is an interior operator. In particular we (...) consider the chain of varieties of symmetric residuated lattices such that the n iteration of ε is a boolean interior operator. For instance, we show that these varieties are semisimple. When n=1, we obtain the variety of symmetric stonean residuated lattices. We also characterize the subvarieties admitting representations as subdirect products of chains. These results generalize and in many cases also simplify, results existing in the literature. (shrink)

Distributive bounded lattices with a dual homomorphism as unary operation, called Ockham algebras, were firstly studied by Berman (1977). The varieties of Boolean algebras, De Morgan algebras, Kleene algebras and Stone algebras are some of the well known subvarieties of Ockham algebra. In this paper, new results about the congruence lattice of Ockham algebras are given. From these results and Urquhart's representation theorem for Ockham algebras a complete characterization of the subdirectly irreducible Ockham algebras is obtained. These results are (...) particularized for a large number of subvarieties of Ockham algebras. For these subvarieties a full description of their subdirectly irreducible algebras is given as well. (shrink)

Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense that there (...) is a variety ${\mathbb{V}_{t} \subsetneq \mathbb{BRL}}$ such that a variety ${\mathbb{V} \subsetneq \mathbb{BRL}}$ admits the unary term t as a Boolean retraction term if and only if ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ . Moreover, the equation s(x) = t(x) holds in ${\mathbb{V}_{s} \cap \mathbb{V}_{t}}$ . The radical of ${{\bf A} \in \mathbb{BRL}}$ , with the structure of an unbounded residuated lattice with the operations inherited from A expanded with a unary operation corresponding to double negation and a a binary operation defined in terms of the monoid product and the negation, is called the radical algebra of A. To each involutive variety ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ is associated a variety ${\mathbb{V}^{r}}$ formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in ${\mathbb{V}}$ . Each free algebra in such ${\mathbb{V}}$ is representable as a weak Boolean product of directly indecomposable algebras over the Stone space of the free Boolean algebra with the same number of free generators, and the radical algebra of each directly indecomposable factor is a free algebra in the associated variety ${\mathbb{V}^{r}}$ , also with the same number of free generators.A hierarchy of subvarieties of ${\mathbb{BRL}}$ admitting Boolean retraction terms is exhibited. (shrink)

We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian (...) ℓ-groups, where such logics respectively correspond to: i) Meyer and Slaney’s Abelian logic [31]; ii) Galli et al.’s logic of equilibrium [21]; iii) a new logic of “preservation of truth degrees”. (shrink)

We continue our investigation of paraorthomodular BZ*-lattices PBZ*-lattices, started in Giuntini et al., Mureşan. We shed further light on the structure of the subvariety lattice of the variety PBZL∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {PBZL}^{\mathbb {*}}$$\end{document} of PBZ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{*}$$\end{document}–lattices; in particular, we provide axiomatic bases for some of its members. Further, we show that some distributive subvarieties of PBZL∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$$\mathbb {PBZL}^{\mathbb {*}}$$\end{document} are term-equivalent to well-known varieties of expanded KleeneKleene, C. lattices or of nonclassical modal algebrasNonclassical modal algebras. By so doing, we somehow help the reader to locate PBZ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{*}$$\end{document}–lattices on the atlas of algebraic structures for nonclassical logics. (shrink)

It has been recently shown [4] that the lattice effect algebras can be treated as a subvariety of the variety of so-called basic algebras. The open problem whether all subdirectly irreducible distributive lattice effect algebras are just subdirectly irreducible MV-chains and the horizontal sum of two 3-element chains is in the paper transferred into a more tractable one. We prove that modulo distributive lattice effect algebras, the variety generated by MV-algebras and is definable by three simple (...) identities and the problem now is to check if these identities are satisfied by all distributive lattice effect algebras or not. (shrink)

Arising in the study of Quantum Logics, PBZ \(^{*}\) -_lattices_ are the paraorthomodular Brouwer–Zadeh lattices in which the pairs of elements with their Kleene complements satisfy the Strong De Morgan condition with respect to the Brouwer complement. They form a variety \(\mathbb {PBZL}^{*}\) which includes that of orthomodular lattices considered with an extended signature (by endowing them with a Brouwer complement coinciding with their Kleene complement), as well as antiortholattices (whose Brouwer complements are trivial). The former turn out to have (...) directly irreducible lattice reducts and, under distributivity, no nontrivial elements with bounded lattice complements, since the elements with bounded lattice complements coincide to the sharp elements in distributive PBZ \(^{*}\) -lattices. The variety \(\mathbb {DIST}\) of distributive PBZ \(^{*}\) -lattices has an infinite ascending chain of subvarieties, and the variety generated by orthomodular lattices and antiortholattices has an infinity of pairwise disjoint infinite ascending chains of subvarieties. (shrink)

Arising in the study of Quantum Logics, PBZ $$^{*}$$ -lattices are the paraorthomodular Brouwer–Zadeh lattices in which the pairs of elements with their Kleene complements satisfy the Strong De Morgan condition with respect to the Brouwer complement. They form a variety $$\mathbb {PBZL}^{*}$$ which includes that of orthomodular lattices considered with an extended signature (by endowing them with a Brouwer complement coinciding with their Kleene complement), as well as antiortholattices (whose Brouwer complements are trivial). The former turn out to have (...) directly irreducible lattice reducts and, under distributivity, no nontrivial elements with bounded lattice complements, since the elements with bounded lattice complements coincide to the sharp elements in distributive PBZ $$^{*}$$ -lattices. The variety $$\mathbb {DIST}$$ of distributive PBZ $$^{*}$$ -lattices has an infinite ascending chain of subvarieties, and the variety generated by orthomodular lattices and antiortholattices has an infinity of pairwise disjoint infinite ascending chains of subvarieties. (shrink)

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

The category \(\mathbb {DRDL}{'}\), whose objects are c-differential residuated distributive lattices satisfying the condition \(\textbf{CK}\), is the image of the category \(\mathbb {RDL}\), whose objects are residuated distributive lattices, under the categorical equivalence \(\textbf{K}\) that is constructed in Castiglioni et al. (Stud Log 90:93–124, 2008). In this paper, we introduce weak monadic residuated lattices and study some of their subvarieties. In particular, we use the functor \(\textbf{K}\) to relate the category \(\mathbb {WMRDL}\), whose objects are weak monadic residuated distributive lattices, (...) and the category \(\mathbb {WMDRDL}{'}\), whose objects are pairs formed by an object of \(\mathbb {DRDL}{'}\) and a center weak universal quantifier. (shrink)

A subresiduated lattice is a pair, where A is a bounded distributive lattice, D is a bounded sublattice of A and for every there exists the maximum of the set, which is denoted by. This pair can be regarded as an algebra of type (2, 2, 2, 0, 0), where. The class of subresiduated lattices is a variety which properly contains the variety of Heyting algebras. In this paper we study the subvariety of subresiduated lattices, denoted by, (...) whose members satisfy the equation. Inspired by the fact that in any subresiduated lattice whose order is total the previous equation and the condition for every are satisfied, we also study the subvariety of generated by the class whose members satisfy that for every. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...) that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

Let FΛ be a finite dimensional path algebra of a quiver Λ over a field F. Let L and R denote the varieties of all left and right FΛ-modules respectively. We prove the equivalence of the following statements. • The subvariety lattice of L is a sublattice of the subquasivariety lattice of L. • The subquasivariety lattice of R is distributive. • Λ is an ordered forest.

The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other has just one. The remaining two atoms lack nontrivial idempotent members. They are generated, respectively, by 4-element De Morgan monoids C4 and D4, where C4 is the only nontrivial 0-generated algebra onto which finitely subdirectly irreducible De Morgan (...) monoids may be mapped by noninjective homomorphisms. The homomorphic preimages of C4 within DMM constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety within U are revealed here. There are just ten of them. In exactly six of these ten varieties, all nontrivial members have C4 as a retract. In the varietal join of those six classes, every subquasivariety is a variety—in fact, every finite subdirectly irreducible algebra is projective. Beyond U, all covers of [or of ] within DMM are discriminator varieties. Of these, we identify infinitely many that are finitely generated, and some that are not. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids. (shrink)

This paper investigates a quasi-variety of representable integral commutative residuated lattices axiomatized by the quasi-identity resulting from the well-known Wajsberg identity → q ≤ → p if it is written as a quasi-identity, i. e., → q ≈ 1 ⇒ → p ≈ 1. We prove that this quasi-identity is strictly weaker than the corresponding identity. On the other hand, we show that the resulting quasi-variety is in fact a variety and provide an axiomatization. The obtained results shed some light (...) on the structure of Archimedean integral commutative residuated chains. Further, they can be applied to various subvarieties of MTL-algebras, for instance we answer negatively Hájek's question asking whether the variety of ΠMTL-algebras is generated by its Archimedean members. (shrink)

In this paper we study the subdirectly irreducible algebras in the variety of pseudocomplemented De Morgan algebras by means of their De Morgan p‐spaces. We introduce the notion of the body of an algebra and determine when is subdirectly irreducible. As a consequence of this, in the case of pseudocomplemented Kleene algebras, two special subvarieties arise naturally, for which we give explicit identities that characterise them. We also introduce a subvariety of, namely the variety of bundle pseudocomplemented Kleene algebras, (...) fully describe its subvariety lattice and find explicit equational bases for each subvariety. In addition, we study the subvariety of generated by the simple members of, determine the structure of the free algebra over a finite set in this variety and their finite weakly projective algebras. (shrink)

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.

In his milestone textbook Lattice Theory, Garrett Birkhoff challenged his readers to develop a "common abstraction" that includes Boolean algebras and lattice-ordered groups as special cases. In this paper, after reviewing the past attempts to solve the problem, we provide our own answer by selecting as common generalization of ������������ and ������������ their join ������������∨������������ in the lattice of subvarieties of ������ℒ (the variety of FL-algebras); we argue that such a solution is optimal under several respects and (...) we give an explicit equational basis for ������������∨������������ relative to ������ℒ. Finally, we prove a Holland-type representation theorem for a variety of FL-algebras containing ������������∨������������. (shrink)

Lattice-ordered abelian groups, or abelian$$\ell $$ ℓ -groups in what follows, are categorically equivalent to two classes of 0-bounded hoops that are relevant in the realm of the equivalent algebraic semantics of many-valued logics: liftings of cancellative hoops and perfect MV-algebras. The former generate the variety of product algebras, and the latter the subvariety of MV-algebras generated by perfect MV-algebras, that we shall call $$\textsf{DLMV}$$ DLMV. In this work we focus on these two varieties and their relation to (...) the structures obtained by forgetting the falsum constant 0, i.e., product hoops and DLW-hoops. As main results, we first show a characterization of the free algebras in these two varieties as particular weak Boolean products; then, we show a construction that freely generates a product algebra from a product hoop and a DLMV-algebra from a DLW-hoop. In other words, we exhibit the free functor from the two algebraic categories of hoops to the corresponding categories of 0-bounded algebras. Finally, we use the results obtained to study projective algebras and unification problems in the two varieties (and the corresponding logics); both varieties are shown to have (strong) unitary unification type, and as a consequence they are structurally and universally complete. (shrink)

All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$, the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$ -equations), have decidable theoremhood; in particular all the ones defined by knotted axioms enjoy strong decidability properties (such as the finite embeddability property). We provide infinitely many such extensions that have undecidable theoremhood, by encoding machines with undecidable halting problem. An even bigger class of extensions is shown to have undecidable deducibility problem (the (...) corresponding varieties of residuated lattices have undecidable word problem); actually with very few exceptions, such as the knotted axioms and the other prespinal axioms, we prove that undecidability is ubiquitous. Known undecidability results for non-commutative extensions use an encoding that fails in the presence of commutativity, so and-branching counter machines are employed. Even these machines provide encodings that fail to capture proper extensions of commutativity, therefore we introduce a new variant that works on an exponential scale. The correctness of the encoding is established by employing the theory of residuated frames. (shrink)

In [4] the lattice of all subvarieties of the variety G n Ex defined by so called externally compatible identities of Abelian groups together with the identity x n ≈ y n , for any n ∈ N and n ≥ 1 was described. In that paper classes of models of the type (2,1) where considered. It appears that diagrams of lattices of subvariaties defined by externally compatible identities satisfied in a given equational theory depend on the language of (...) the considered class of algebras. A question was asked to what extent the diagram of the lattice of subvarieties of the variety defined by externally compatible identities of a given variety will depend on changing the type of algebras. In general case, the answer to this question seems to be very complicated. In this paper we describe the variety of Abelian groups of exponent p·q, where p,q are different primes of type (2,1,0). (shrink)

A deterministic weakening \ of the Belnap–Dunn four-valued logic \ is introduced to formalize the acceptance and rejection of a proposition at a state in a linearly ordered informational frame with persistent valuations. The logic \ is formalized as a sequent calculus. The completeness and decidability of \ with respect to relational semantics are shown in terms of normal forms. From an algebraic perspective, the class of all algebras for \ is described, and found to be a subvariety of (...) Berman’s variety \. Every linearly ordered frame is logically equivalent to its dual algebra. It is proved that \ is the logic of a nine-element distributive lattice with a negation. Moreover, \ is embedded into \ by Glivenko’s double-negation translation. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

Every Berman’s variety \ which is the subvariety of Ockham algebras defined by the equation \ and \) determines a finitary substitution invariant consequence relation \. A sequent system \ is introduced as an axiomatization of the consequence relation \. The system \ is characterized by a single finite frame \ under the frame semantics given for the formal language. By the duality between frames and algebras, \ can be viewed as a \-valued logic as it is characterized by (...) a distributive lattice of \ elements with a unary operator. Moreover, a structural-rule-free, cut-free and terminating sequent system \ is established for \. The Craig interpolation property of \ is shown proof-theoretically utilizing \. (shrink)

We use the left self‐distributive axiom to introduce and study a special class of weak Heyting algebras, called self‐distributive weak Heyting algebras (SDWH‐algebras). We present some useful properties of SDWH‐algebras and obtain some equivalent conditions of them. A characteristic of SDWH‐algebras of orders 3 and 4 is given. Finally, we study the relation between the variety of SDWH‐algebras and some of the known subvarieties of weak Heyting algebras such as the variety of Heyting algebras, the variety of basic algebras, the (...) variety of subresiduated lattices, the variety of reflexive WH‐algebras (RWH‐algebras), and the variety of transitive WH‐algebras (TWH‐algebras). (shrink)

Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0.1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, and new weakening-free logics. Algebraic semantics for these logics (...) are provided by subvarieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-elimination are given in the framework of hypersequents. Completeness with respect to algebras with lattice reduct [0, 1] is established for UL and several extensions using a two-part strategy. First, completeness is proved for the logic extended with Takeuti and Titani's density rule. A syntactic elimination of the rule is then given using a hypersequent calculus. As an algebraic corollary, it follows that certain varieties of residuated lattices are generated by their members with lattice reduct [0, 1]. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras, where * is a continuous t-norm. In this paper we investigate the structure of (...) the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that (...) there is a continuum of pretabular varieties of K4-algebras — those are the non-tabular varieties all of whose proper subvarieties are tabular — in contrast with Maksimova's result that there are only five pretabular varieties of S4-algebras. (shrink)

Anyone who has ever worked with a variety \ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley duality when they meet one—but until now there has been no abstract definition. Here we provide one. After deriving some basic properties of a restricted Priestley dual category \ of such a variety, we give a characterisation, in terms of \, of finitely generated discriminator subvarieties of \. As an application of our characterisation, we (...) give a new proof of Sankappanavar’s characterisation of finitely generated discriminator varieties of distributive double p-algebras. A substantial portion of the paper is devoted to the application of our results to Cornish algebras. A Cornish algebra is a bounded distributive lattice equipped with a family of unary operations each of which is either an endomorphism or a dual endomorphism of the bounded lattice. They are a natural generalisation of Ockham algebras, which have been extensively studied. We give an external necessary-and-sufficient condition and an easily applied, completely internal, sufficient condition for a finite set of finite Cornish algebras to share a common ternary discriminator term and so generate a discriminator variety. Our results give a characterisation of discriminator varieties of Ockham algebras as a special case, thereby yielding Davey, Nguyen and Pitkethly’s characterisation of quasi-primal Ockham algebras. (shrink)

In 2004, C. Sanza, with the purpose of legitimizing the study of \-valued Łukasiewicz algebras with negation -algebras) introduced \-valued Łukasiewicz algebras with negation. Despite the various results obtained about \-algebras, the structure of the free algebras for this variety has not been determined yet. She only obtained a bound for their cardinal number with a finite number of free generators. In this note we describe the structure of the free finitely generated \-algebras and we determine a formula to calculate (...) its cardinal number in terms of the number of free generators. Moreover, we obtain the lattice \\) of all subvarieties of \ and we show that the varieties of Boolean algebras, three-valued Łukasiewicz algebras and four-valued Łukasiewicz algebras are proper subvarieties of \. (shrink)

The paper has two parts preceded by quite comprehensive preliminaries.In the first part it is shown that a subvariety of the variety ${\cal T}$ of all tense algebras is discriminator if and only if it is semisimple. The variety ${\cal T}$ turns out to be the join of an increasing chain of varieties ${\cal D}_n$, which are discriminator varieties. The argument carries over to all finite type varieties of boolean algebras with operators satisfying some term conditions. In the case (...) of tense algebras, the varieties ${\cal D}_n$ can be further characterised by certain natural conditions on Kripke frames.In the second part it is shown that the lattice of subvarieties of ${\cal D}_0$ has two atoms, the lattice of subvarieties of ${\cal D}_1$ has countably many atoms, and for $n>1$, the lattice of subvarieties of ${\cal D}_n$ has continuum atoms. The proof of the second of the above statements involves a rather detailed description of zero-generated simple algebras in ${\cal D}_1$.Almost all the arguments are cast in algebraic form, but both parts begin with an outline describing their contents from the dual point of view of tense logics. (shrink)

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

In this paper we introduce a poset of subvarieties of BL-algebras, whose completion is the entire lattice of subvarietes; we exhibit also a description of this poset in terms of finite sequences of functions on the natural numbers.

In this paper, we introduce the variety of $I$-modal ririgs. We characterize the congruence lattice of its members by means of $I$-filters, and we provide a description of $I$-filter generation. We also provide an axiomatic presentation for the variety generated by chains of the subvariety of contractive $I$-modal ririgs. Finally, we introduce a Hilbert-style calculus for a logic with $I$-modal ririgs as an equivalent algebraic semantics and we prove that such a logic has the parametrized local deduction-detachment theorem.

It was shown recently that epimorphisms need not be surjective in a variety K of Heyting algebras, but only one counter-example was exhibited in the literature until now. Here, a continuum of such examples is identified, viz. the variety generated by the Rieger-Nishimura lattice, and all of its (locally finite) subvarieties that contain the original counter-example K . It is known that, whenever a variety of Heyting algebras has finite depth, then it has surjective epimorphisms. In contrast, we show (...) that for every integer $n \geq 2$ , the variety of all Heyting algebras of width at most n has a non-surjective epimorphism. Within the so-called Kuznetsov-Gerčiu variety (i.e., the variety generated by finite linear sums of one-generated Heyting algebras), we describe exactly the subvarieties that have surjective epimorphisms. This yields new positive examples, and an alternative proof of epimorphism surjectivity for all varieties of Gödel algebras. The results settle natural questions about Beth-style definability for a range of intermediate logics. (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)

Tarski [19] proved the important theorem that the class of representable relation algebras is equationally axiomatizable. One of the key steps in his proof is showing that the class of (isomorphs of) simple set relation algebras—that is, algebras of binary relations with a unit of the formU×Ufor some non-empty setU—is universal, i.e., is axiomatizable by a set of universal sentences. In the same paper Tarski observed that the class of (isomorphs of) relation algebras constructed from groups (so-calledgroup relation algebras) is (...) also universal.We shall abstract the essential ingredients of Tarski's method (in Corollary 2.4), and then combine them with some observations about atom structures, to establish (in Theorem 2.6) a rather general method for showing that certain classes of simple relation algebras—and, more generally, certain classes of simple algebras in a discriminator variety V—are universal, and consequently that the collections of (isomorphs of) subdirect products of algebras in such classes form subvarieties of V. As applications of the method we show that two well-known classes of simple relation algebras, those constructed from projective geometries (sometimes calledLyndon algebras) and those constructed from modular lattices with a zero (sometimes calledMaddux algebras), are universal. In the process we prove that these two classes consist precisely of all (isomorphs of) complex algebras over the respective geometries and modular lattices, provided that we choose the primitive notions of the latter structures in an appropriate fashion. We also derive Tarski's theorems and a related theorem of the author as easy corollaries of Theorem 2.6. (shrink)