Slanted Canonicity of Analytic Inductive Inequalities

DOI10.1145/3460973zbMath1505.03051arXiv2003.12355OpenAlexW3183790100MaRDI QIDQ5034226

Alessandra Palmigiano, Laurent De Rudder

Publication date: 24 February 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.12355

zbMATH Keywords

non-distributive latticesalgorithmic correspondence and canonicityanalytic inductive inequalitiesSahlqvist canonicitysubordination algebrastransfer results via Gödel-McKinsey-Tarski translations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (3)

Linear Logic Properly Displayed ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Subordination algebras as semantic environment of input/output logic

This page was built for publication: Slanted Canonicity of Analytic Inductive Inequalities