✦ LIBER ✦

Relating Z and First-Order Logic

✍ Scribed by Andrew P. Martin

Publisher: Springer
Year: 2000
Tongue: English
Weight: 228 KB
Volume: 12
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001650070029

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inclusive first-order logic

✍ Roch Ouellet 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 981 KB

Sperner spaces and first-order logic

✍ Andreas Blass; Victor Pambuccian 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 79 KB

## Abstract We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo‐elementary class, it is not elementary nor even ℒ︁~∞__ω__~‐axiomatizable.

First-Order Classical Modal Logic

✍ Horacio Arló-Costa; Eric Pacuit 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 377 KB

First-Order da Costa Logic

✍ Graham Priest 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 231 KB

Concerning the semantic consequence rela

Concerning the semantic consequence relation in first-order temporal logic

✍ Andrzej Szalas 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Fuzzy unification and first order probab

Fuzzy unification and first order probabilistic logic

✍ Marco Piastra 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 123 KB

The notion of unification for fuzzy sets in fuzzy logic programming is explored in this article from the standpoint of a theoretical framework based on first-order probabilistic modal logic. The fundamental difference between the latter perspective and other approaches described in the literature li