Intermediate quantifiers in partial fuzzy type theory

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F21%3AA2202C8F" target="_blank" >RIV/61988987:17610/21:A2202C8F - isvavai.cz</a>
Výsledek na webu
<a href="https://collegepublications.co.uk/ifcolog/?00047" target="_blank" >https://collegepublications.co.uk/ifcolog/?00047</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/0898-1221(83)90013-5" target="_blank" >10.1016/0898-1221(83)90013-5</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Intermediate quantifiers in partial fuzzy type theory
Popis výsledku v původním jazyce
In this paper, we extend the partial fuzzy type theory (pFTT) by additional special connectives and prove some of their properties. Then we introduce the theory of intermediate quantifiers initially developed in the standard fuzzy type theory and extend it to pFTT, which enables us to deal with partially defined fuzzy sets as the universes of quantification. In the last section, we give four illustrative examples demonstrating how our theory works and how it can be applied.
Název v anglickém jazyce
Intermediate quantifiers in partial fuzzy type theory
Popis výsledku anglicky
In this paper, we extend the partial fuzzy type theory (pFTT) by additional special connectives and prove some of their properties. Then we introduce the theory of intermediate quantifiers initially developed in the standard fuzzy type theory and extend it to pFTT, which enables us to deal with partially defined fuzzy sets as the universes of quantification. In the last section, we give four illustrative examples demonstrating how our theory works and how it can be applied.

Projekt
<a href="/cs/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centrum pro výzkum a vývoj metod umělé intelligence v automobilovém průmyslu regionu</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2021
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ů

Název periodika
Journal of Applied Logics - IFCoLog Journal
ISSN
2631-9810
e-ISSN
2631-9829
Svazek periodika
8
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
26
Strana od-do
1215-1240
Kód UT WoS článku
000663543800006
EID výsledku v databázi Scopus
2-s2.0-85111457185

Podobné výsledky(10)