Constructive canonicity in non-classical logics

DOI10.1016/S0168-0072(96)00048-6zbMATH Open0949.03019OpenAlexW2017093277MaRDI QIDQ1361246FDOQ1361246

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)

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

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)