First steps towards harnessing partial functions in fuzzy type theory

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

Result language
angličtina
Original language name
First steps towards harnessing partial functions in fuzzy type theory
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA16-19170S" target="_blank" >GA16-19170S: Fuzzy Partial Logic</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Article name in the collection
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Part I
ISBN
978-3-319-91475-6
ISSN
1865-0929
e-ISSN
—
Number of pages
12
Pages from-to
736-747
Publisher name
Springer
Place of publication
Berlin
Event location
Cadiz
Event date
Jun 11, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)