The following pages link to On reduced matrices (Q1208116):
Displayed 6 items.
- A Gentzen system for conditional logic (Q1327484) (← links)
- Three-element nonfinitely axiomatizable matrices (Q1337599) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)