Erratum to J. M. Font, The simplest protoalgebraic logic

DOI10.1002/malq.201250052zbMath1334.03068OpenAlexW1508122158MaRDI QIDQ5404168

Josep Maria Font

Publication date: 21 March 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201250052

zbMATH Keywords

abstract algebraic logicprotoalgebraic logicimplicationLeibniz hierarchyFrege hierarchyimplicative logicparameterized deduction theorem

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Cites Work

• The simplest protoalgebraic logic

This page was built for publication: Erratum to J. M. Font, The simplest protoalgebraic logic