Constructive canonicity in non-classical logics

DOI10.1016/S0168-0072(96)00048-6MaRDI QIDQ1361246zbMATH OpenOpenAlexFDO

Authors Silvio Ghilardi, Giancarlo Meloni

Publication date 6 December 2000

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(96)00048-6

zbMATH Keywords

intermediate logicmodal logiccanonicitySahlqvist theoremconstructive analogue of Stone's representation theoremdifference connectiveintuitionistic modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Canonicity for intensional logics without iterative axioms
• scientific article; zbMATH DE number 16511
• scientific article; zbMATH DE number 3887681
• scientific article; zbMATH DE number 2149469
• Canonicity for intensional logics with even axioms
• A systematic approach to canonicity in the classical sequent calculus
• Editorial: Canonicity and correspondence for nonclassical logics
• Constructive canonicity for lattice-based fixed point logics
• scientific article; zbMATH DE number 1302054
• A constructive semantics for non‐deducibility

Cites work

• scientific article; zbMATH DE number 3963825 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• A new proof of Sahlqvist's theorem on modal definability and completeness
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• The McKinsey axiom is not canonical

Cited in

(25)

• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Canonical extensions of posets.
• Power and limits of structural display rules
• Algorithmic correspondence and canonicity for distributive modal logic
• Elementary canonical formulae: extending Sahlqvist's theorem
• Canonical extensions, Esakia spaces, and universal models
• On canonicity of poset expansions
• Canonicity results of substructural and lattice-based logics
• Constructive canonicity for lattice-based fixed point logics
• Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics
• Algebraic modal correspondence: Sahlqvist and beyond
• scientific article; zbMATH DE number 2149469 (Why is no real title available?)
• A Sahlqvist theorem for distributive modal logic
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• The distributivity on bi-approximation semantics
• On the canonicity of Sahlqvist identities
• scientific article; zbMATH DE number 7243670 (Why is no real title available?)
• A Sahlqvist theorem for substructural logic
• Editorial: Canonicity and correspondence for nonclassical logics
• Canonical extensions and relational completeness of some substructural logics
• Duality and canonical extensions for stably compact spaces
• Bounded lattice expansions
• The intensional side of algebraic-topological representation theorems
• Topological duality and algebraic completions
• Algorithmic correspondence and canonicity for non-distributive logics

This page was built for publication: Constructive canonicity in non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361246)