|
|||||
|
|
Fuzzy Logic and Arithmetical Hierarchy,II |
|
| Authors: | Hájek Petr |
| Institution: | (1) Institute of Computer Science, Academy of Sciences, 182 07 Prague, Czech Republic |
| Abstract: | A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined. |
| Keywords: | fuzzy logic many-valued logic undecidability |
| 本文献已被 SpringerLink 等数据库收录！ | |