A Note on Pavelka's Fuzzy Logic
β Scribed by Esko Turunen
- Publisher
- John Wiley and Sons
- Year
- 1991
- Tongue
- English
- Weight
- 108 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards wellβfounded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively
In this study, we have attempted a survey of current approaches carried out in the confluence of the two technologies, fuzzy set theory and object-oriented technology, that could provide a powerful tool for enhancing database management systems, software Ε½ . modeling, and knowledge representation in
## Abstract Dualβintuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dualβintuitionistic logic and Nelson's constructive logic N^β^.
In this article we address the issues brought up by Elkan in his article, "The paradoxical success of fuzzy logic," [IEEE Expert, 3-8 (1994)]. Elkan's work has caused concern since it purportedly reveals a Fuzzy Logic weakness regarding its theoretical foundations. A further investigation of Elkan's
## Abstract Witnessed models of fuzzy predicate logic are models in which each quantified formula is witnessed, i.e. the truth value of a universally quantified formula is the minimum of the values of its instances and similarly for existential quantification (maximum). Systematic theory of known f