Fuzzy Set TheoryとUltraproduct
スポンサーリンク
概要
- 論文の詳細を見る
Let T be a theory adequate to do with fuzzy sets. It follows from a completeness theorem of L. Henkin that there exists a model of T in which countably many fuzzy sentences hold. For the theory of fuzzy set, which satisfies at most countably many fuzzy conditions, there exists a sequence of models m_i (i∈ω) such that for every sentence φ with the fuzzy truth value α=0. α_1α_2… (in the binary scale), i∈{k; m_i |=ν(φ)=1} if and only if α_i=1. Moreover, it is proved that the fuzzy truth value of "the fuzzy truth value of φ is equal to α" is equal to 1, if φ has α as the fuzzy truth value.
- 明治大学の論文
著者
関連論文
- Fuzzy logicとNonstandard Analysis
- Fuzzy Set TheoryとUltraproduct
- Relative recursivenessについて(科学技術研究所年報第9号)
- Proof of a theorem of Sacks
- Recursively enumerble degreesについて(科学技術研究所年報第8号)
- recursion, metarecursion,および分解について
- Recursively enumerable degreesについて