Algebraizable logics

DOI10.1090/memo/0396zbMath0664.03042OpenAlexW4252113473MaRDI QIDQ3815297

Publication date: 1989

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0396

zbMATH Keywords

modal logic consequence relation quasivariety algebraizable logic Leibniz operator intuitionistic logic congruence relation relevance logic deductive system matrix semantics classical predicate logic lattice of theories equational consequence formula algebra universal Horn theory. algebraic semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Classical first-order logic (03B10) Algebraic logic (03G99) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ The Suszko operator relative to truth‐equational logics ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ On Heyting algebras with negative tense operators ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ A logical characterization of multi-adjoint algebras ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ The algebraic significance of weak excluded middle laws ⋮ From Inconsistency to Incompatibility ⋮ Fragments of quasi-Nelson: residuation ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ Gluing residuated lattices ⋮ Structural and universal completeness in algebra and logic ⋮ Conservative translations revisited ⋮ Deduction theorem in congruential modal logics ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Conservative expansions of substructural logics ⋮ Unnamed Item ⋮ CAPTURING CONSEQUENCE ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Protoalgebraic logics ⋮ Inconsistency lemmas in algebraic logic ⋮ The simplest protoalgebraic logic ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Observational Refinement Process ⋮ 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 ⋮ On free annotated algebras ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ Basic algebras, logics, trends and applications ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ Belief Functions on MV-Algebras of Fuzzy Sets: An Overview ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS ⋮ Constructive Modalities with Provability Smack ⋮ Topological Interpretations of Provability Logic ⋮ Homotopical Categories of Logics ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY ⋮ A new approach for classification of filters in residuated lattices ⋮ Almost structural completeness; an algebraic approach ⋮ De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Structural completeness in relevance logics ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Proof complexity of intuitionistic implicational formulas ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Semisimples in varieties of commutative integral bounded residuated lattices ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Selfextensional logics with a conjunction ⋮ Boolean-like algebras ⋮ Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Fregean logics ⋮ Bilattices with implications ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ A coalgebraic perspective on logical interpretations ⋮ Abstract valuation semantics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Product logic and probabilistic Ulam games ⋮ Axiomatizing the skew Boolean propositional calculus ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Some types of filters in residuated lattices ⋮ Extending possibilistic logic over Gödel logic ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Internal axioms for domain semirings ⋮ Representations of structural closure operators ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ The propositional logic induced by means of basic algebras ⋮ State operators on generalizations of fuzzy structures ⋮ States on commutative basic algebras ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ The free \(n\)-generated BL-algebra ⋮ Partially undetermined many-valued events and their conditional probability ⋮ Varieties of interlaced bilattices ⋮ Contextual deduction theorems ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ Priestley duality for bilattices ⋮ A logical characterization of coherence for imprecise probabilities ⋮ State morphism MV-algebras ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ On finitely-valued fuzzy description logics ⋮ A note on congruences of semilattices with sectionally finite height. ⋮ On states and state operators on certain basic algebras ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Boolean representation of bounded BCK-algebras ⋮ Forcing in Łukasiewicz predicate logic ⋮ Logical consequence and the paradoxes ⋮ Strongly finitely based equational theories ⋮ Pavelka-style completeness in expansions of Łukasiewicz logic ⋮ Monadic GMV-algebras ⋮ A survey on categories of logics and algebraizable logics ⋮ A deduction theorem schema for deductive systems of propositional logics ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Single chain completeness and some related properties ⋮ Free equivalential algebras ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Ł\(\Pi\) logic with fixed points ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ MV-algebras with internal states and probabilistic fuzzy logics ⋮ Non-reversible betting games on fuzzy events: complexity and algebra ⋮ \(n\)-contractive BL-logics ⋮ The lattice of distributive closure operators over an algebra ⋮ On reduced matrices ⋮ An intriguing logic with two implicational connectives ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Logic for abstract hoop twist-structures ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Behavioral algebraization of logics ⋮ Equivalents for a quasivariety to be generated by a single structure ⋮ Update to ``A survey of abstract algebraic logic ⋮ The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete ⋮ Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics ⋮ Taking degrees of truth seriously ⋮ Commutative basic algebras and non-associative fuzzy logics ⋮ Data types over multiple-valued logics ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Compatible operations on residuated lattices ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation ⋮ Wajsberg algebras and Post algebras ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains ⋮ Generating the variety of BL-algebras ⋮ Axiomatic extensions of IMT3 logic ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions ⋮ Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ A Gentzen system for conditional logic ⋮ Priestley duality for MV-algebras and beyond ⋮ Towards automating duality ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends ⋮ Algebraic study of two deductive systems of relevance logic ⋮ The abstract variable-binding calculus ⋮ On elementary equivalence for equality-free logic ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Abstract modal logics ⋮ The logic induced by effect algebras ⋮ Decidable and undecidable logics with a binary modality ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ The logic of the strongest and the weakest t-norms ⋮ The strong version of a sentential logic ⋮ Locally tabular \(\neq \) locally finite ⋮ Two semantical approaches to paraconsistent modalities ⋮ An algebraic view of super-Belnap logics ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ On involutive FL\(_{e}\)-monoids ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Perfect Pavelka logic ⋮ Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Replacement in logic ⋮ Tense operators on non-commutative residuated lattices ⋮ Boolean algebras of conditionals, probability and logic ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Anshakov-Rychkov algebras ⋮ A closer look at some subintuitionistic logics ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Rotation logics ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Finite model property and varieties of BL-algebras ⋮ On the complexity of the Leibniz hierarchy ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ Monadic pseudo BCI-algebras and corresponding logics ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ Algebras for definable families of theories ⋮ Join-completions of partially ordered algebras ⋮ Regular elements and Kolmogorov translation in residuated lattices ⋮ On the algebraizability of the implicational fragment of abelian logic ⋮ A logical and algebraic treatment of conditional probability ⋮ Congruences, ideals and annihilators in standard QBCC-algebras ⋮ Fragments of R-mingle ⋮ Implicit connectives of algebraizable logics ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions ⋮ Fuzzy sets and formal logics ⋮ The semiring-theoretic approach to MV-algebras: a survey ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Fuzzy logics with an additional involutive negation ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ Topologies, ranks, and closures for families of theories. I ⋮ The Hahn embedding theorem for a class of residuated semigroups ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Varieties of BL-algebras. II ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ First order logic without equality on relativized semantics ⋮ Some properties of pseudo-BCK- and pseudo-BCI-algebras ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Characterizing finite-valuedness ⋮ Extending fuzzy logics with many hedges ⋮ Reduced axioms for the propositional logics induced by basic algebras ⋮ On algebras and varieties with semilattice reducts ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ Epimorphisms, definability and cardinalities ⋮ Combining algebraizable logics ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ On linear varieties of MTL-algebras ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ On prevarieties of logic ⋮ A topological approach to MTL-algebras ⋮ Structural completeness in many-valued logics with rational constants ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\) ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ Quasi-Nelson algebras ⋮ Characteristic inference rules ⋮ An algebraic study of the logic \textbf{S5'(BL)} ⋮ On the complexity of validity degrees in Łukasiewicz logic ⋮ On relative principal congruences in term quasivarieties ⋮ \(M\)-sets and the representation problem ⋮ P1 algebras ⋮ A categorical equivalence for product algebras ⋮ An algebraic study of exactness in partial contexts ⋮ Poset products as relational models ⋮ Decomposition of Garside groups and self-similar \(L\)-algebras ⋮ Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Deduction theorems within RM and its extensions ⋮ Uniform interpolation and compact congruences ⋮ An analog of Beth's theorem in normal extensions of the modal logic K4 ⋮ Representable idempotent commutative residuated lattices ⋮ Partial algebras, meaning categories and algebraization ⋮ Closure properties for the class of behavioral models ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Principal congruences in weak Heyting algebras ⋮ First-order nilpotent minimum logics: first steps ⋮ Unnamed Item ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Negation and Implication in Quasi-Nelson Logic ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ On the scope of some formulas defining additive connectives in fuzzy logics ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ On pseudo BL-algebras with internal state ⋮ Geometrical aspects of possibility measures on finite domain MV-clans ⋮ Topological representation of intuitionistic and distributive abstract logics ⋮ Epimorphisms in varieties of residuated structures ⋮ An infinity of super-Belnap logics ⋮ Prior’s OIC nonconservativity example revisited ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ A Mathematical Life ⋮ A short overview of Hidden Logic ⋮ Characterization of protoalgebraic k-deductive systems ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ Some modal and temporal translations of generalized basic logic ⋮ Singly generated quasivarieties and residuated structures ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Filter pairs and natural extensions of logics ⋮ Three-element non-finitely axiomatizable matrices and term-equivalence ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Implicative twist-structures ⋮ Refinement by Interpretation in a General Setting ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Algebraic Semantics for Hybrid Logics ⋮ Archimedean Residuated Lattices ⋮ Unnamed Item ⋮ Equality Logic ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Reconciling First-Order Logic to Algebra ⋮ Formal systems of fuzzy logic and their fragments ⋮ Bilattice Logics and Demi-Negation ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ Strong non-standard completeness for fuzzy logics ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ There exist exactly two maximal strictly relevant extensions of the relevant logic R ⋮ Freeness in classes without equality ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Variations on a theme of Curry ⋮ Weakly implicative (fuzzy) logics. I: Basic properties ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ Annihilators in BCK-Algebras ⋮ Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation ⋮ Generic substitutions ⋮ Dual binary discriminator varieties ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Exploring Extensions of Possibilistic Logic over Gödel Logic ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ Paraconsistent Modal Logics ⋮ A Note on Drastic Product Logic ⋮ Quasi-subtractive varieties ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Equivalential and algebraizable logics ⋮ A family of genuine and non-algebraisable C-systems ⋮ Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Algebraic Logic and Knowledge Bases ⋮ Connexive Variants of Modal Logics Over FDE ⋮ Weakly algebraizable logics ⋮ On Special Implicative Filters ⋮ Quasi-Nelson algebras and fragments ⋮ Regularity in residuated lattices ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions