Protoalgebraic Logics Research Articles

The algebraic significance of weak excluded middle laws

AbstractFor (finitary) deductive systems, we formulate a signature‐independent abstraction of the 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 algebraizes a deductive system ⊢. We prove that, in this case, if ⊢ has a WEML (in the general sense) then every relatively subdirectly irreducible member of has a greatest proper ‐congruence; the converse holds if ⊢ 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 . We characterize the IL and the WEML for normal modal logics and for relevance logics. A normal extension of has a global consequence relation with a WEML iff it extends , while every axiomatic extension of with an IL has a WEML.

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.

The Strong Version of a Sentential Logic

This paper explores a notion of “the strong version” of a sentential logic S, initially defined in terms of the notion of a Leibniz filter, and shown to coincide with the logic determined by the matrices of S whose filter is the least S-filter in the algebra of the matrix. The paper makes a general study of this notion, which appears to unify under an abstract framework the relationships between many pairs of logics in the literature. The paradigmatic examples are the local and the global consequences associated with a normal modal logic, and the logics preserving degrees of truth and preserving truth associated with certain substructural and many-valued logics. For protoalgebraic logics the results in the paper coincide with those obtained by two of the authors in 2001, so the main novelty of the approach is its suitability for all kinds of logics. The paper also studies three kinds of definability of the Leibniz filters, and their consequences for the determination of the strong version. In a second part of the paper several case studies are developed, comprising positive modal logic, Dunn–Belnap’s four-valued logic, the large family of substructural logics, and some relevance logics.

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC

AbstractThis paper presents a unified framework that explains and extends the already successful applications of the Leibniz operator, the Suszko operator, and the Tarski operator in recent developments in abstract algebraic logic. To this end, we refine Czelakowski’s notion of an S-compatibility operator, and introduce the notion of coherent family of S-compatibility operators, for a sentential logic S. The notion of coherence is a restricted property of commutativity with inverse images by surjective homomorphisms, which is satisfied by both the Leibniz and the Suszko operators. We generalize several constructions and results already existing for the mentioned operators; in particular, the well-known classes of algebras associated with a logic through each of them, and the notions of full generalized model of a logic and a special kind of S-filters (which generalizes the less-known notion of Leibniz filter). We obtain a General Correspondence Theorem, extending the well-known one from the theory of protoalgebraic logics to arbitrary logics and to more general operators, and strengthening its formulation. We apply the general results to the Leibniz and the Suszko operators, and obtain several characterizations of the main classes of logics in the Leibniz hierarchy by the form of their full generalized models, by old and new properties of the Leibniz operator, and by the behaviour of the Suszko operator. Some of these characterizations complete or extend known ones, for some classes in the hierarchy, thus offering an integrated approach to the Leibniz hierarchy that uncovers some new, nice symmetries.

The simplest protoalgebraic logic

The logic is the sentential logic defined in the language with just implication → by the axiom of reflexivity or identity “” and the rule of Modus Ponens “from φ and to infer ψ”. The theorems of this logic are exactly all formulas of the form . We argue that this is the simplest protoalgebraic logic, and that in it every set of assumptions encodes in itself not only all its consequences but also their proofs. In this paper we study this logic from the point of view of abstract algebraic logic, and in particular we use it as a relatively natural counterexample to settle some open problems in this theory. It appears that this logic has almost no properties: it is neither equivalential nor weakly algebraizable; it does not have an algebraic semantics; it does not satisfy any form of the Deduction Theorem, other than the most general parameterized and local one that all protoalgebraic logics satisfy; it is not filter-distributive; and so on. It satisfies some forms of the interpolation property but in a rather trivial way. Very few things are known about its algebraic counterpart, save that its intrinsic variety is the class of all algebras of the similarity type.

Inconsistency lemmas in algebraic logic

In this paper, the inconsistency lemmas of intuitionistic and classical propositional logic are formulated abstractly. We prove that, when a (finitary) deductive system is algebraized by a variety , then has an inconsistency lemma—in the abstract sense—iff every algebra in has a dually pseudo-complemented join semilattice of compact congruences. In this case, the following are shown to be equivalent: (1) has a classical inconsistency lemma; (2) has a greatest compact theory and is filtral, i.e., semisimple with EDPC; (3) the compact congruences of any algebra in form a Boolean lattice; (4) the compact congruences of any constitute a Boolean sublattice of the full congruence lattice of . These results extend to quasivarieties and relative congruences. Except for (2), they extend even to protoalgebraic logics, with deductive filters in the role of congruences. A protoalgebraic system with a classical inconsistency lemma always has a deduction-detachment theorem (DDT), while a system with a DDT and a greatest compact theory has an inconsistency lemma. The converses are false.

ON SEMILATTICE-BASED LOGICS WITH AN ALGEBRAIZABLE ASSERTIONAL COMPANION

This paper studies some properties of the so-called semilattice-based logics (which are dened in a standard way using only the order relation from a variety of algebras that have a semilattice reduct with maximum) under the assumption that its companion assertional logic (dened from the same variety of algebras using the top element as representing truth) is algebraizable. This describes a very common situation, and the conclusion of the paper is that these semilattice-based logics exhibit some of the good behaviour of protoalgebraic logics, without being necessarily so. The main result is that all these logics have enough Leibniz lters, a fact previously known in the literature to occur only for protoalgebraic logics. Another signicant result is that the two companion logics coincide if and only if one of them enjoys the characteristic property of the other, that is, if and only if the semilattice-based logic is algebraizable, and if and only if its assertional companion is selfextensional. When these conditions are met, then the (unique) logic is nitely, regularly and strongly algebraizable and fully Fregean; this places it at some of the highest ranks in both the Leibniz hierarchy and the Frege hierarchy. Let K be a class of algebras of the same (arbitrary) similarity type. The class K is said to be semilattice-based when each algebra in K has a semilattice reduct uniformly dened

A Non-finitary Sentential Logic that is Elementarily Algebraizable

We exhibit a non-finitary sentential logic that is algebraized by a quasivariety—in fact by a finitely based variety of finite type. The algebraization process requires infinitely many defining equations. The existence of such a logic settles a question posed in Czelakowski (2001, Protoalgebraic Logics) and implicit in Herrmann (1996, Studia Logica, 57, 419–436).

Categorical abstract algebraic logic: The categorical Suszko operator

AbstractCzelakowski introduced the Suszko operator as a basis for the development of a hierarchy of non‐protoalgebraic logics, paralleling the well‐known abstract algebraic hierarchy of protoalgebraic logics based on the Leibniz operator of Blok and Pigozzi. The scope of the theory of the Leibniz operator was recently extended to cover the case of, the so‐called, protoalgebraic π‐institutions. In the present work, following the lead of Czelakowski, an attempt is made at lifting parts of the theory of the Suszko operator to the π‐institution framework. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Categorical Abstract Algebraic Logic: More on Protoalgebraicity

Protoalgebraic logics are characterized by the monotonicity of the Leibniz operator on their theory lattices and are at the lower end of the Leibniz hierarchy of abstract algebraic logic. They have been shown to be the most primitive among those logics with a strong enough algebraic character to be amenable to algebraic study techniques. Protoalgebraic π-institutions were introduced recently as an analog of protoalgebraic sentential logics with the goal of extending the Leibniz hierarchy from the sentential framework to the π-institution framework. Many properties of protoalgebraic logics, studied in the sentential logic framework by Blok and Pigozzi, Czelakowski, and Font and Jansana, among others, have already been adapted in previous work by the author to the categorical level. This work aims at further advancing that study by exploring in this new level some more properties of protoalgebraic sentential logics.

Leibniz Filters Revisited

Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters.

Review of Protoalgebraic Logics by J. Czelakowski

Review of Protoalgebraic Logics by J. Czelakowski

Leibniz filters and the strong version of a protoalgebraic logic

A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic ?+ defined by the class of all ?-matrices whose filter is Leibniz, which is called the strong version of ?, in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of ?+ and of the explicit definability of Leibniz filters, and several theorems of transfer of metalogical properties from ? to ?+. For finitely equivalential logics stronger results are obtained. Besides the general theory, the paper examines the examples of modal logics, quantum logics and Łukasiewicz's finitely-valued logics. One finds that in some cases the existence of a weak and a strong version of a logic corresponds to well-known situations in the literature, such as the local and the global consequences for normal modal logics; while in others these constructions give an independent interest to the study of other lesser-known logics, such as the lattice-based many-valued logics.

Weakly algebraizable logics

AbstractIn the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.