Weakly algebraizable logics

DOI10.2307/2586559zbMath0960.03055OpenAlexW2007863954MaRDI QIDQ4508251

Janusz Czelakowski, Ramon Jansana

Publication date: 3 October 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586559

zbMATH Keywords

Leibniz operatorprotoalgebraic logicsLeibniz congruenceweakly algebraizable logics

Mathematics Subject Classification ID

Algebraic logic (03G99) Other algebras related to logic (03G25) Abstract deductive systems (03B22)

Related Items (28)

A new hierarchy of infinitary logics in abstract algebraic logic ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Selfextensional logics with a conjunction ⋮ Fregean logics ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ A short overview of Hidden Logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ The Suszko operator relative to truth‐equational logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Representations of structural closure operators ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Algebraic Methods for Granular Rough Sets ⋮ Implicit connectives of algebraizable logics ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Behavioral algebraization of logics ⋮ The poset of all logics. III: Finitely presentable logics ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ On Special Implicative Filters ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

Cites Work

• Unnamed Item
• Reduced products of logical matrices
• An algebraic approach to non-classical logics
• On subtractive varieties II: General properties
• On subtractive varieties. I
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Equivalential and algebraizable logics
• The deduction theorem for quantum logic—some negative results
• Algebraizable logics

This page was built for publication: Weakly algebraizable logics