✦ LIBER ✦

Classical predicative logic-enriched type theories

✍ Scribed by Robin Adams; Zhaohui Luo

Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 619 KB
Volume: 161
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.04.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Intuitionistic Completeness Theorem f

An Intuitionistic Completeness Theorem for Classical Predicate Logic

✍ Victor N. Krivtsov 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 177 KB

Type theories, toposes and constructive

Type theories, toposes and constructive set theory: predicative aspects of AST

✍ Ieke Moerdijk; Erik Palmgren 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 357 KB

Cut Elimination inside a Deep Inference

Cut Elimination inside a Deep Inference System for Classical Predicate Logic

✍ Kai Brünnler 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

Schönfinkel-type Operators for Classical

Schönfinkel-type Operators for Classical Logic

✍ Katalin Bimbó 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 314 KB

Predicate calculus and naive set theory

Predicate calculus and naive set theory in pure combinatory logic

✍ Bunder, M. W. 📂 Article 📅 1981 🏛 Springer-Verlag ⚖ 394 KB

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