Ordering protoalgebraic logics

DOI10.1093/logcom/exu015zbMath1381.03044OpenAlexW2014216356MaRDI QIDQ2957951

Josep Maria Font

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/557582ed8594255934a4edcadafc3b5bc476db46

zbMATH Keywords

abstract algebraic logicprotoalgebraic logicsLeibniz hierarchyorder structures of logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract algebraic logic (03G27)

Related Items

ON EQUATIONAL COMPLETENESS THEOREMS, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY