𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Elimination of Quantifiers on Łukasiewicz Logics

✍ Scribed by Néstor G. Martínez

Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
396 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ELIMINATION OF QUANTIFIERS OVER VECTORS
ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
✍ Andrey A. Kuzichev 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB

## Abstract We consider two‐sorted theories of vector spaces and prove a criterion for the assertion that such a theory allows elimination of quantifiers over vector variables.