On locally finite varieties of Heyting algebras
For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.
math.LO↗
arXiv subjects
T. Moraschini
Publications and source records attributed to T. Moraschini.
Elementary equivalence in positive logic via prime products
We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of {\L}o\'s's Theorem restricted to positive formulas, as well as the following variant of Keisler Isomorphism Theorem: under the generalized continuum hypothesis, two models have the same positive theory if and only if they have isomorphic prime powers of ultrapowers.
math.LO↗
Bi-intermediate logics of trees and co-trees
A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel algebras and form a variety that algebraizes the extension $\mathsf{bi}$-$\mathsf{LC}$ of bi-intuitionistic logic axiomatized by the G\"odel-Dummett axiom. In this paper we initiate the study of the lattice $\Lambda(\mathsf{bi}$-$\mathsf{LC})$ of extensions of $\mathsf{bi}$-$\mathsf{LC}$. We develop the methods of Jankov-style formulas for bi-G\"odel algebras and use them to prove that there are exactly continuum many extensions of $\mathsf{bi}$-$\mathsf{LC}$. We also show that all these extensions can be uniformly axiomatized by canonical formulas. Our main result is a characterization of the locally tabular extensions of $\mathsf{bi}$-$\mathsf{LC}$. We introduce a sequence of co-trees, called the finite combs, and show that a logic in $\mathsf{bi}$-$\mathsf{LC}$ is locally tabular iff it contains at least one of the Jankov formulas associated with the finite combs. It follows that there exists the greatest non-locally tabular extension of $\mathsf{bi}$-$\mathsf{LC}$ and consequently, a unique pre-locally tabular extension of $\mathsf{bi}$-$\mathsf{LC}$. These results contrast with the case of the intermediate logic axiomatized by the G\"odel-Dummett axiom, which is known to have only countably many extensions, all of which are locally tabular.
math.LO↗
The Algebraic Significance of Weak Excluded Middle Laws
For (finitary) deductive systems, we formulate a signature-independent abstraction of the \emph{weak excluded middle law} (WEML), which strengthens the existing general notion of an inconsistency lemma (IL). Of special interest is the case where a quasivariety $\mathsf{K}$ algebraizes a deductive system $\,\vdash$. We prove that, in this case, if $\,\vdash$ has a WEML (in the general sense) then every relatively subdirectly irreducible member of $\mathsf{K}$ has a greatest proper $\mathsf{K}$-congruence; the converse holds if $\,\vdash$ has an inconsistency lemma. The result extends, in a suitable form, to all protoalgebraic logics. A super-intuitionistic logic possesses a WEML iff it extends $\mathbf{KC}$. We characterize the IL and the WEML for normal modal logics and for relevance logics. A normal extension of $\mathbf{S4}$ has a global consequence relation with a WEML iff it extends $\mathbf{S4.2}$, while every axiomatic extension of $\mathbf{R^t}$ with an IL has a WEML.
math.LO↗
Structural completeness in many-valued logics with rational constants
The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and Gödel--Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in L, P, and G. Namely, RL is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG we provide a base of admissible rules. We leave the problem open whether the variety of rational Gödel algebras is Q-universal.
math.LO↗
Epimorphisms in varieties of residuated structures
It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Goedel algebras, relative Stone algebras, Sugihara monoids or positive Sugihara monoids. This establishes the infinite deductive Beth definability property for a corresponding range of substructural logics. On the other hand, it is shown that epimorphisms need not be surjective in a locally finite variety of Heyting or Brouwerian algebras of width 2. It follows that the infinite Beth property is strictly stronger than the so-called finite Beth property, confirming a conjecture of Blok and Hoogland.
math.LO↗
On equational completeness theorems
A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when its has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to be decidable both for logics presented by a finite set of finite matrices and for locally tabular logics presented by a finite Hilbert calculus, it becomes undecidable for arbitrary logics presented by finite Hilbert calculi.
math.LO↗
Profiniteness and representability of spectra of Heyting algebras
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in which profinite algebras are isomorphic to profinite completions. It turns out that there exists largest such. We give different characterizations of this variety and show that it is finitely axiomatizable and locally finite. From this it follows that it is decidable whether in a finitely axiomatizable variety of Heyting algebras all profinite members are profinite completions. In addition, we introduce and characterize representable varieties of Heyting algebras, thus drawing connection to the classical problem of representing posets as prime spectra.
math.LO↗
Epimorphisms in varieties of subidempotent residuated structures
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective in a variety K of such algebras A (with or without involution), provided that each finitely subdirectly irreducible algebra B in K has two properties: (1) B is generated by lower bounds of e, and (2) the poset of prime filters of B* has finite depth. Neither (1) nor (2) may be dropped. The proof adapts to the presence of bounds. The result generalizes some recent findings of G. Bezhanishvili and the first two authors concerning epimorphisms in varieties of Brouwerian algebras, Heyting algebras and Sugihara monoids, but its scope also encompasses a range of interesting varieties of De Morgan monoids.
math.LO↗
Epimorphisms, definability and cardinalities
Generalizing a theorem of Campercholi, we characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of Isbell, as follows: in any prevariety having at most s non-logical symbols and an axiomatization requiring at most m variables, if the epimorphisms into structures with at most m + s + aleph0 elements are surjective, then so are all of the epimorphisms. Using these facts, we formulate and prove manageable "bridge theorems", matching the surjectivity of all epimorphisms in the algebraic counterpart of a logic L with suitable infinitary definability properties of L, while not making the standard but awkward assumption that L comes furnished with a proper class of variables.
math.LO↗
Epimorphism surjectivity in varieties of Heyting algebras
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 greater or equal than 2, the variety of all Heyting algebras of width at most n has a non-surjective epimorphism. Within the so-called Kuznetsov-Gerciu 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 Goedel algebras. The results settle natural questions about Beth-style definability for a range of intermediate logics.
math.LO↗
Varieties of De Morgan monoids: minimality and irreducible algebras
It is proved that every finitely subdirectly irreducible De Morgan monoid A (with neutral element e) is either (i) a Sugihara chain in which e covers not(e) or (ii) the union of an interval subalgebra [not(a), a] and two chains of idempotents, (not(a)] and [a), where a = (not(e))^2. In the latter case, the variety generated by [not(a), a] has no nontrivial idempotent member, and A/[not(a)) is a Sugihara chain in which not(e) = e. It is also proved that there are just four minimal varieties of De Morgan monoids. This theorem is then used to simplify the proof of a description (due to K. Swirydowicz) of the lower part of the subvariety lattice of relevant algebras. The results throw light on the models and the axiomatic extensions of fundamental relevance logics.
math.LO↗
Varieties of De Morgan monoids: covers of atoms
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 non-injective homomorphisms. The homomorphic pre-images of C4 within DMM (together with the trivial De Morgan monoids) constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety V(C4) within U are revealed here. There are just ten of them (all finitely generated). 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 V(C4) [or of V(D4)] 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.
math.LO↗
The poset of all logics II: Leibniz classes and hierarchy
A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz hierarchy. In particular, it is proved that the classes of truth-equational and assertional logics are meet-prime in the Leibniz hierarchy, while the classes of protoalgebraic and equivalential logics are meet-reducible. However, the last two classes are shown to be determined by Leibniz conditions consisting of meet-prime logics only.
math.LO↗
The Poset of All Logics I: Interpretations and Lattice Structure
A notion of interpretation between arbitrary logics is introduced, and the poset Log of all logics ordered under interpretability is studied. It is shown that in Log infima of arbitrarily large sets exist, but binary suprema in general do not. On the other hand, the existence of suprema of sets of equivalential logics is established. The relations between Log and the lattice of interpretability types of varieties are investigated.
math.LO↗
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences.
math.LO↗
A computational glimpse at the Leibniz and Frege hierarchies
In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically, this problem is in general undecidable. More precisely, we show that there is no algorithm that classifies the logic of a finite consistent Hilbert calculus in the Leibniz and in the Frege hierarchies.
math.LO↗
On the complexity of the Leibniz hierarchy
We prove that the problem of determining whether a finite logical matrix determines an algebraizable logic is complete for EXPTIME. The same result holds for the classes of order algebraizable, weakly algebraizable, equivalential and protoalgebraic logics. Finally, the same problem for the class of truth-equational logic is shown to be hard for EXPTIME.
math.LO↗