Order algebraizable logics
From MaRDI portal
Publication:1935866
DOI10.1016/J.APAL.2012.10.013zbMATH Open1263.03061OpenAlexW2010311295MaRDI QIDQ1935866FDOQ1935866
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 logicdeductive systempolarityquasi-orderorder algebraizable logic
Cited In (20)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- Title not available (Why is that?)
- On the deductive system of the order of an equationally orderable quasivariety
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS
- On the algebraizability of the implicational fragment of abelian logic
- The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
- On the complexity of the Leibniz hierarchy
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Logic of convex order
- Title not available (Why is that?)
- A short overview of Hidden Logic
- Abstract algebraic logic. An introductory chapter
- A Fixpoint Semantics for Ordered Logic
- A new hierarchy of infinitary logics in abstract algebraic logic
- Title not available (Why is that?)
This page was built for publication: Order algebraizable logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935866)
