Number of the records: 1
The Distributivity on Bi-Approximation Semantics
- 1.0461469 - ÚI 2017 RIV US eng J - Journal Article
Suzuki, Tomoyuki
The Distributivity on Bi-Approximation Semantics.
Notre Dame Journal of Formal Logic. Roč. 57, č. 3 (2016), s. 411-430. ISSN 0029-4527. E-ISSN 1939-0726
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : canonicity * lattice-based logics * relational semantics
Subject RIV: BA - General Mathematics
Impact factor: 0.311, year: 2016
http://projecteuclid.org/euclid.ndjfl/1461157795
In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity - by the splitters and by the adjointness - can be explicated with the help of the axiom of choice as well.
Permanent Link: http://hdl.handle.net/11104/0261116
Number of the records: 1