✦ LIBER ✦

An interpreter for IEEE logic symbols

✍ Scribed by Lahti, J.; Kostamovaara, J.

Book ID: 114532349
Publisher: IEEE
Year: 1995
Tongue: English
Weight: 792 KB
Volume: 38
Category: Article
ISSN: 0018-9359
DOI: 10.1109/13.406500

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An IEEE standard for symbolic music

✍ Baggi, D.L. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 490 KB

Preservativity logic: An analogue of int

Preservativity logic: An analogue of interpretability logic for constructive theories

✍ Rosalie Iemhoff 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 305 KB

## Abstract In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disj

Majority-logic-like decoding of vector s

Majority-logic-like decoding of vector symbols

✍ Metzner, J.J. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 340 KB

“The box”: An interpretive, symbolic fil

“The box”: An interpretive, symbolic film

✍ Karen Wakeley 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 250 KB

An interpretation of logical formulas

✍ JEAN A. PHILLIPS 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 701 KB

An Omitting Types Theorem for first orde

An Omitting Types Theorem for first order logic with infinitary relation symbols

✍ Tarek Sayed Ahmed; Basim Samir 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 122 KB

## Abstract In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)