On reduced matrices
From MaRDI portal
Publication:1208116
DOI10.1007/BF01053064zbMath0771.03003MaRDI QIDQ1208116
Publication date: 16 May 1993
Published in: Studia Logica (Search for Journal in Brave)
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
This page was built for publication: On reduced matrices