𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On arithmetical complexity of fragments of prominent fuzzy predicate logics

✍ Scribed by Petr Hájek


Publisher
Springer
Year
2007
Tongue
English
Weight
133 KB
Volume
12
Category
Article
ISSN
1432-7643

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Arithmetic complexity of the predicate l
✍ Valery Plisko 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 137 KB

It is proved in this paper that the predicate logic of each complete constructive arithmetic theory T having the existential property is T 1 -complete. In this connection, the techniques of a uniform partial truth deÿnition for intuitionistic arithmetic theories is used. The main theorem is applied

On the possibility of using complex valu
✍ Hung T. Nguyen; Vladik Kreinovich; Valery Shekhter 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 197 KB 👁 1 views

In science and engineering, there are ''paradoxical'' cases in which we have some Ž arguments in favor of some statement A so the degree to which A is known to be true is Ž . . positive nonzero , and we have some arguments in favor of its negation ! A, and we do not have enough information to tell w