| bibtype |
C -
Conference Paper (international conference)
|
| ARLID |
0411237 |
| utime |
20240103182312.0 |
| mtime |
20060210235959.9 |
| ISBN |
0-7695-1918-0 |
| title
(primary) (eng) |
Towards fuzzy type theory |
| publisher |
| place |
Los Alamitos |
| name |
IEEE Computer Society |
| pub_time |
2003 |
|
| specification |
|
| serial |
| title
|
Proceedings of the 33rd International Symposium on Multiple-Valued Logic |
| page_num |
65-70 |
|
| keyword |
fuzzy logic |
| keyword |
type theory |
| author
(primary) |
| ARLID |
cav_un_auth*0101170 |
| name1 |
Novák |
| name2 |
Vilém |
| institution |
UTIA-B |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| COSATI |
12A |
| cas_special |
| research |
CEZ:AV0Z1075907 |
| abstract
(eng) |
The formal type theory is generalized to fuzzy one. The structure of truth values is assumed to be the IMTL-algebra. Some properties of theories of fuzzy type theory are demonstrated and the completeness saying that each consistent theory has a model is proved. We will follow the way of the development of the classical type theory are demonstrated and the completeness saying that each consistent theory has a model is proved. |
| action |
| ARLID |
cav_un_auth*0213131 |
| name |
International Symposium on Multiple-Valued Logic /33./ |
| place |
Tokyo |
| country |
JP |
| dates |
16.05.2003-19.05.2003 |
|
| RIV |
BA |
| department |
E |
| permalink |
http://hdl.handle.net/11104/0131323 |
| ID_orig |
UTIA-B 20030224 |
| arlyear |
2003 |
| mrcbU10 |
2003 |
| mrcbU10 |
Los Alamitos IEEE Computer Society |
| mrcbU12 |
0-7695-1918-0 |
| mrcbU63 |
Proceedings of the 33rd International Symposium on Multiple-Valued Logic 65 70 |
|