Characterizing equivalential and algebraizable logics by the Leibniz operator

DOI10.1023/A:1004979825733zbMath0879.03023OpenAlexW1518264298MaRDI QIDQ1357379

Burghard Herrmann

Publication date: 22 December 1997

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

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

zbMATH Keywords

algebraizable logicLeibniz operatorprotoalgebraic logicBeth-definability

Mathematics Subject Classification ID

Algebraic logic (03G99) Abstract deductive systems (03B22)

Related Items

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Fregean logics ⋮ Abstract valuation semantics ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Characterization of protoalgebraic k-deductive systems ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ The Beth property in algebraic logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Contextual deduction theorems ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ Update to ``A survey of abstract algebraic logic ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Epimorphisms, definability and cardinalities ⋮ Correspondences between gentzen and hilbert systems ⋮ Equivalential and algebraizable logics ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Weakly algebraizable logics ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems