Order algebraizable logics
From MaRDI portal
Publication:1935866
DOI10.1016/j.apal.2012.10.013zbMath1263.03061OpenAlexW2010311295MaRDI QIDQ1935866
Publication date: 19 February 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.013
consequence relationabstract algebraic logicpolaritydeductive systemquasi-orderorder algebraizable logic
Related Items
A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ A short overview of Hidden Logic ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ Quasivarieties and varieties of ordered algebras: regularity and exactness ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ On the complexity of the Leibniz hierarchy ⋮ On the algebraizability of the implicational fragment of abelian logic ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY