The Suszko operator. I

DOI10.1023/A:1024678007488zbMath1043.03050OpenAlexW1553786272MaRDI QIDQ1422451

Janusz Czelakowski

Publication date: 15 February 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024678007488

zbMATH Keywords

sentential logicprotoalgebraic logicnatural extensionLeibniz congruencedeductive homomorphismSuszko congruenceSuszko-reduced matrix

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Algebraic logic (03G99) Subalgebras, congruence relations (08A30)

Related Items (20)

On the deductive system of the order of an equationally orderable quasivariety ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Defining subdirect product closed classes in infinitary logic ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Selfextensional logics with a conjunction ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Minimally generated abstract logics ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ The Suszko operator relative to truth‐equational logics ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Abstract algebraic logic. An introductory chapter ⋮ Selfextensional logics with a distributive nearlattice term ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Correspondences between gentzen and hilbert systems ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

This page was built for publication: The Suszko operator. I