First steps towards harnessing partial functions in fuzzy type theory

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F18%3AA1901UUL" target="_blank" >RIV/61988987:17610/18:A1901UUL - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-91476-3" target="_blank" >http://dx.doi.org/10.1007/978-3-319-91476-3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-91476-3" target="_blank" >10.1007/978-3-319-91476-3</a>

Jazyk výsledku
angličtina
Název v původním jazyce
First steps towards harnessing partial functions in fuzzy type theory
Popis výsledku v původním jazyce
In this paper we present how the theory of partial functions can be developed in the fuzzy type theory and show how the theory elaborated by Lapierre and Lepage can be included in it. Namely, the latter is developed as a special theory whose models contain the partial functions in the sense introduced by both authors.
Název v anglickém jazyce
First steps towards harnessing partial functions in fuzzy type theory
Popis výsledku anglicky
In this paper we present how the theory of partial functions can be developed in the fuzzy type theory and show how the theory elaborated by Lapierre and Lepage can be included in it. Namely, the latter is developed as a special theory whose models contain the partial functions in the sense introduced by both authors.

Projekt
<a href="/cs/project/GA16-19170S" target="_blank" >GA16-19170S: Fuzzy parciální logika</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2018
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 statě ve sborníku
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Part I
ISBN
978-3-319-91475-6
ISSN
1865-0929
e-ISSN
—
Počet stran výsledku
12
Strana od-do
736-747
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Cadiz
Datum konání akce
11. 6. 2018
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)