References & Citations
Mathematics > Logic
Title: On equational completeness theorems
(Submitted on 11 Jul 2021)
Abstract: A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when its has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to be decidable both for logics presented by a finite set of finite matrices and for locally tabular logics presented by a finite Hilbert calculus, it becomes undecidable for arbitrary logics presented by finite Hilbert calculi.
Submission history
From: Tommaso Moraschini [view email][v1] Sun, 11 Jul 2021 15:14:47 GMT (51kb,D)
Link back to: arXiv, form interface, contact.