References & Citations
Mathematics > Logic
Title: Slanted canonicity of analytic inductive inequalities
(Submitted on 27 Mar 2020 (v1), last revised 19 Feb 2021 (this version, v2))
Abstract: We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or open elements of its canonical extension. Interestingly, the syntactic shape of LE-inequalities which guarantees their canonicity in this generalized setting turns out to coincide with the syntactic shape of analytic inductive inequalities, which guarantees LE-inequalities to be equivalently captured by analytic structural rules of a proper display calculus. We show that this canonicity result connects and strengthens a number of recent canonicity results in two different areas: subordination algebras, and transfer results via G\"odel-McKinsey-Tarski translations.
Submission history
From: Laurent De Rudder [view email][v1] Fri, 27 Mar 2020 12:16:24 GMT (84kb)
[v2] Fri, 19 Feb 2021 23:32:53 GMT (79kb)
Link back to: arXiv, form interface, contact.