𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Arithmetical complexity of fuzzy predicate logics — A survey II

✍ Scribed by Petr Hájek


Book ID
108054664
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
505 KB
Volume
161
Category
Article
ISSN
0168-0072

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