The distributivity on bi-approximation semantics
From MaRDI portal
Publication:306839
DOI10.1215/00294527-3542442zbMath1436.03317OpenAlexW2434886887MaRDI QIDQ306839
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
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