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)
variety; 2- valued logics; 3-valued logics; finite replacement property; reduced matrices of a logic
08B05: Equational logic, Mal'tsev conditions
03B50: Many-valued logic
03B22: Abstract deductive systems
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, A Gentzen system for conditional logic, Three-element nonfinitely axiomatizable matrices
Cites Work