The distributivity on bi-approximation semantics

DOI10.1215/00294527-3542442zbMath1436.03317OpenAlexW2434886887MaRDI QIDQ306839

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Generalized Kripke frames
• Residuated lattices. An algebraic glimpse at substructural logics
• Stone duality for lattices
• Constructive canonicity in non-classical logics
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantic analysis of orthologic
• CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
• Residuated frames with applications to decidability
• A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC

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