Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 57, Number 3 (2016), 411-430.
The Distributivity on Bi-Approximation Semantics
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.
Notre Dame J. Formal Logic, Volume 57, Number 3 (2016), 411-430.
Received: 23 April 2013
Accepted: 12 May 2014
First available in Project Euclid: 20 April 2016
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Suzuki, Tomoyuki. The Distributivity on Bi-Approximation Semantics. Notre Dame J. Formal Logic 57 (2016), no. 3, 411--430. doi:10.1215/00294527-3542442. https://projecteuclid.org/euclid.ndjfl/1461157795