## Abstract It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL‐chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since
Ten questions and one problem on fuzzy logic
✍ Scribed by Petr Hájek
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 655 KB
- Volume
- 96
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
✦ Synopsis
Recently, I had a very interesting friendly e-mail discussion with Professor Parikh on vagueness and fuzzy logic. Pa&h published several papers concerning the notion of vagueness. They contain critical remarks on fuzzy logic and its ability to formalize reasoning under vagueness [ 10, 1 11. On the other hand, for some years I have tried to advocate fuzzy logic (in the narrow sense. as Zadeh says, i.e. as formal logical systems formalizing reasoning under vagueness) and in particular, to show that such systems (of many-valued logic of a certain kind) offer a fully fledged and extremely interesting logic [4,5]. But this leaves open the question of intuitive adequacy of many-valued logic as a logic of vagueness. Below 1 shall try to isolate eight questions Parikh asks, add two more and to comment on all of them. Finally, I formulate a problem on truth (in)definability in tukasiewicz logic which shows, m my opinion, that fuzzy logic is not just "applied logic" but rather belongs to systems commonly called "philosophical logic" like modal logics, etc.
📜 SIMILAR VOLUMES
´The abilities to speak well and to conceptualize seem to be closely linked. It has been maintained that the human brain has a preference for binary oppositions or polarities. The notions of antonym and negate are examples of polarity between the pairs of predicates P y no P, P y ant P. Other charac
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
The full solution of a logical problem is given. In this note I shall consider the following logical problem. problem. There is a group of N persons, some of which are reiiafde and the rest are unreliuble being known that the reliable persons are a majority. A reliable person answers only the trut