✦ LIBER ✦

R65-54 The Logic of Computer Arithmetic

✍ Scribed by Hammel, D.

Book ID: 117903499
Publisher: Institute of Electrical and Electronics Engineers
Year: 1965
Tongue: English
Weight: 297 KB
Volume: EC-14
Category: Article
ISSN: 0367-7508
DOI: 10.1109/pgec.1965.264031

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

R65-13 Natural Language and the Computer

✍ Salton, G. 📂 Article 📅 1965 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 524 KB

The logical nature of arithmetic

✍ Th. Skolem 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 542 KB

R65-70 The Computer Recognition of Handw

R65-70 The Computer Recognition of Handwritten First Names

✍ Nadler, M. 📂 Article 📅 1965 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 277 KB

The Interpretability Logic of Peano Arit

The Interpretability Logic of Peano Arithmetic

✍ Alessandro Berarducci 📂 Article 📅 1990 🏛 Association for Symbolic Logic 🌐 English ⚖ 627 KB

Children's construction of the logic of

Children's construction of the logic of arithmetic

✍ Kathleen M. Cauley 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 552 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