0461469 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: canonicity * lattice-based logics * relational semantics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.311, rok: 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.
Trvalý link: http://hdl.handle.net/11104/0261116