Jónsson-style canonicity for ALBA-inequalities
From MaRDI portal
Publication:2983398
DOI10.1093/logcom/exv041zbMath1444.03071OpenAlexW2591469304MaRDI QIDQ2983398
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Publication date: 17 May 2017
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exv041
modal logicdistributive latticescanonical extensionscanonicityalgorithmic correspondenceSahlqvist theory
Modal logic (including the logic of norms) (03B45) Structure and representation theory of distributive lattices (06D05)
Related Items (11)
Linear Logic Properly Displayed ⋮ Probabilistic Epistemic Updates on Algebras ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Correspondence theory for generalized modal algebras ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Semi De Morgan logic properly displayed ⋮ Unnamed Item ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Unnamed Item ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
Uses Software
This page was built for publication: Jónsson-style canonicity for ALBA-inequalities