The Distributivity on Bi-Approximation Semantics
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<a href="http://projecteuclid.org/euclid.ndjfl/1461157795" target="_blank" >http://projecteuclid.org/euclid.ndjfl/1461157795</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Distributivity on Bi-Approximation Semantics
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
The Distributivity on Bi-Approximation Semantics
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Matematická fuzzy logika v informatice</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Notre Dame Journal of Formal Logic
ISSN
0029-4527
e-ISSN
—
Svazek periodika
57
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
20
Strana od-do
411-430
Kód UT WoS článku
000385575500008
EID výsledku v databázi Scopus
2-s2.0-84978884323