Constructive canonicity for lattice-based fixed point logics

DOI10.1007/978-3-662-55386-2_7zbMath1496.03113arXiv1603.06547OpenAlexW2964348843MaRDI QIDQ1685915

Zhiguang Zhao, Willem Conradie, Alessandra Palmigiano, Andrew P. K. Craig

Publication date: 20 December 2017

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

zbMATH Keywords

canonicitylattice-based fixed point logicslogics for categorizationunified correspondence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other constructive mathematics (03F65)

Related Items (11)

Linear Logic Properly Displayed ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Rough concepts ⋮ Unnamed Item ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Modelling socio-political competition ⋮ Unnamed Item ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Unnamed Item

This page was built for publication: Constructive canonicity for lattice-based fixed point logics