𝔖 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
✍ 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.