The following pages link to Order algebraizable logics (Q1935866):
Displayed 13 items.
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- On the algebraizability of the implicational fragment of abelian logic (Q2259001) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)