Set Theory and Arithmetic in Fuzzy Logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F15%3A00432931" target="_blank" >RIV/67985807:_____/15:00432931 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-06233-4_4" target="_blank" >http://dx.doi.org/10.1007/978-3-319-06233-4_4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-06233-4_4" target="_blank" >10.1007/978-3-319-06233-4_4</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Set Theory and Arithmetic in Fuzzy Logic
Popis výsledku v původním jazyce
This chapter offers a review of Petr Hájek?s contributions to first-order axiomatic theories in fuzzy logic (in particular, ZF-style fuzzy set theories, arithmetic with a fuzzy truth predicate, and fuzzy set theory with unrestricted comprehension schema). Generalizations of Hájek?s results in these areas to MTL as the background logic are presented and discussed.
Název v anglickém jazyce
Set Theory and Arithmetic in Fuzzy Logic
Popis výsledku anglicky
This chapter offers a review of Petr Hájek?s contributions to first-order axiomatic theories in fuzzy logic (in particular, ZF-style fuzzy set theories, arithmetic with a fuzzy truth predicate, and fuzzy set theory with unrestricted comprehension schema). Generalizations of Hájek?s results in these areas to MTL as the background logic are presented and discussed.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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

Podobné výsledky(10)