The following pages link to (Q4078024):
Displayed 5 items.
- Paraconsistent algebras (Q1068074) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Projective and inductive generation of abstract logics (Q1234289) (← links)
- The Fregean axiom and Polish mathematical logic in the \(1920^s\) (Q1256439) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)