On reduced matrices

DOI10.1007/BF01053064zbMath0771.03003MaRDI QIDQ1208116

Wolfgang Rautenberg

Publication date: 16 May 1993

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

zbMATH Keywords

variety2- valued logics3-valued logicsfinite replacement propertyreduced matrices of a logic

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Many-valued logic (03B50) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

A Gentzen system for conditional logic ⋮ Three-element nonfinitely axiomatizable matrices ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

Cites Work

• Unnamed Item
• 2-element matrices
• On the structure of varieties with equationally definable principal congruences. I
• Algebraizable logics
• FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY

This page was built for publication: On reduced matrices