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

DOI10.1002/MALQ.201250052MaRDI QIDQ5404168zbMATH OpenOpenAlexFDO

Authors 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 logicFrege hierarchyimplicationimplicative logicLeibniz hierarchyparameterized deduction theoremprotoalgebraic logic

Mathematics Subject Classification ID

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

Recommendations

• Erratum to ``A logic of injectivity
• Erratum to: ``On definability in dependence logic
• Erratum to: ``\(n\)-fold implicative basic logic is Gödel logic.
• Erratum to ``The undecidability of propositional adaptive logic
• The simplest protoalgebraic logic
• scientific article; zbMATH DE number 5666443
• Erratum
• Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics
• Erratum to: ``Splitting an operator: algebraic modularity results for logics with fixpoint semantics

Cites work

• The simplest protoalgebraic logic

Cited in

(2)

• An error in a proof in: Boolean algebras with operators. I
• Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404168)