The distributivity on bi-approximation semantics

DOI10.1215/00294527-3542442MaRDI QIDQ306839zbMATH OpenOpenAlexFDO

Authors Tomoyuki Suzuki

Publication date 1 September 2016

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1461157795

zbMATH Keywords

relational semanticscanonicitylattice-based logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Logical aspects of lattices and related structures (03G10) Abstract algebraic logic (03G27)

Recommendations

• Bi-approximation semantics for substructural logic at work
• scientific article; zbMATH DE number 6302921
• scientific article; zbMATH DE number 2149935
• Distributive bilattices from the perspective of natural duality theory.
• A duality for distributive unimodal logic

Cites work

• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• A Sahlqvist theorem for substructural logic
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Canonicity results of substructural and lattice-based logics
• Constructive canonicity in non-classical logics
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Generalized Kripke frames
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantic analysis of orthologic
• Stone duality for lattices

Cited in

(4)

• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• scientific article; zbMATH DE number 6302921 (Why is no real title available?)
• scientific article; zbMATH DE number 2149935 (Why is no real title available?)
• Bi-approximation semantics for substructural logic at work

This page was built for publication: The distributivity on bi-approximation semantics

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