Monadic Fuzzy Predicate Logics |
| |
| Authors: | Petr Hájek |
| |
| Affiliation: | (1) Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vodárenskou v!["ecaron"]("/content/h51nvdefyyufqw0w/xlarge283.gif") !["zcaron"]("/content/h51nvdefyyufqw0w/xlarge382.gif") í 2, 182 07 Prague, Czech Republic |
| |
| Abstract: | Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models. |
| |
| Keywords: | fuzzy logic monadic logic completeness arithmetical hierarchy |
| 本文献已被 SpringerLink 等数据库收录！ |
