✦ LIBER ✦

Predicate logics of expressively strong theories

✍ Scribed by R. É. Yavorskii

Book ID: 110613638
Publisher: SP MAIK Nauka/Interperiodica
Year: 1999
Tongue: English
Weight: 612 KB
Volume: 66
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf02674206

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arithmetic complexity of the predicate l

Arithmetic complexity of the predicate logics of certain complete arithmetic theories

✍ 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

Classical predicative logic-enriched typ

Classical predicative logic-enriched type theories

✍ Robin Adams; Zhaohui Luo 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Traditional vs. Modern Logic: Predicatio

Traditional vs. Modern Logic: Predication Theory

✍ Ignacio Angelelli 📂 Article 📅 1980 🏛 Universidad Nacional Autonoma de Mexico 🌐 Spanish ⚖ 434 KB

A Translation of Intuitionistic Predicat

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

✍ Mohammad Ardeshir 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

Decidable and enumerable predicate logic

Decidable and enumerable predicate logics of provability

✍ Giorgie Dzhaparidze 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 958 KB

Predicate Logical Extensions of some Sub

Predicate Logical Extensions of some Subintuitionistic Logics

✍ Ernst Zimmermann 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 180 KB