The Distributivity on Bi-Approximation Semantics

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F16%3A00461469" target="_blank" >RIV/67985807:_____/16:00461469 - isvavai.cz</a>
Result on the web
<a href="http://projecteuclid.org/euclid.ndjfl/1461157795" target="_blank" >http://projecteuclid.org/euclid.ndjfl/1461157795</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
The Distributivity on Bi-Approximation Semantics
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Mathematical Fuzzy Logic in Computer Science</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)