The following pages link to Order algebraizable logics (Q1935866):
Displaying 21 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)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Logic of convex order (Q2062214) (← 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 Fixpoint Semantics for Ordered Logic (Q3210906) (← links)
- (Q3219800) (← links)
- (Q3584003) (← links)
- The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier (Q3708787) (← links)
- (Q4013970) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← 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)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)
