Intermediate quantifiers in partial fuzzy type theory

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Intermediate quantifiers in partial fuzzy type theory
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
<a href="/en/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centre for the development of Artificial Intelligence Methods for the Automotive Industry of the region</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)