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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (24)

• Algorithmic correspondence and canonicity for distributive modal logic
• Title not available (Why is that?)
• A Sahlqvist theorem for distributive modal logic
• KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
• Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics
• Power and Limits of Structural Display Rules
• Canonical extensions and relational completeness of some substructural logics
• On the canonicity of Sahlqvist identities
• Bounded lattice expansions
• The distributivity on bi-approximation semantics
• Canonical extensions of posets.
• Title not available (Why is that?)
• Algebraic modal correspondence: Sahlqvist and beyond
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Elementary canonical formulae: extending Sahlqvist's theorem
• On canonicity of poset expansions
• 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
• Topological duality and algebraic completions
• Canonical Extensions, Esakia Spaces, and Universal Models

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)