𝔖 Bobbio Scriptorium
✦   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

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
Jass — Java with Assertions
✍ Detlef Bartetzko; Clemens Fischer; Michael Möller; Heike Wehrheim 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 302 KB