✦ LIBER ✦

Dynamic Assertions Using TXP

✍ Scribed by Surrendra Dudani; João Geada; Grzegorz Jakacki; Daniel Vainer

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 307 KB
Volume: 55
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00249-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Metaphorical assertions

✍ Robert Brown 📂 Article 📅 1965 🏛 Springer Netherlands 🌐 English ⚖ 181 KB

Incomplete assertions

✍ B. H. Slater 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 287 KB

Frege~n logic has difficulty with certain argnments in which there is cross-reference between premises and conclusion. In this paper I describe a method of handling arguments of the troublesome kind: It involves replacing standurd quanriflers with explicit existential statements, and turns standarc1

Dubious assertions

✍ David Sosa 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 123 KB

Are theological utterances assertions?

✍ Arthur M. Wheeler 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 285 KB

Jass — Java with Assertions

✍ Detlef Bartetzko; Clemens Fischer; Michael Möller; Heike Wehrheim 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 302 KB

Moral and religious assertions

📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 122 KB