The following pages link to On reduced matrices (Q1208116):
Displayed 4 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)