Effectiveness and Multivalued Logics

From Mathfuzzlog
Jump to: navigation, search
Giangiacomo Gerla
Title: Effectiveness and Multivalued Logics
Journal: Journal of Symbolic Logic
Volume 71
Pages: 137-162
Year: 2006


One defines the notion of recursive enumerability and decidability for fuzzy subsets. This enables us to prove that the fuzzy subset of theorems of an axiomatizable fuzzy theory is recursively enumerable. In particular, the fuzzy subset of logically true formulas of the main fuzzy logics is recursively enumerable. This shows the effectivenes of the main fuzzy logics in contrast with the general opinion.