𝔖 Bobbio Scriptorium

✦ LIBER ✦

Elimination of cut-type rules from the Robinson and Presburger axiomatic systems

✍ Scribed by A. Yu. Plyushkevichene

Book ID: 105077848
Publisher: Springer US
Year: 1972
Tongue: English
Weight: 562 KB
Volume: 1
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01117478

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 14th international confer

[ACM Press the 14th international conference - Ischia, Italy (2002.07.15-2002.07.19)] Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02 - Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic

✍ Di Lascio, Luigi 📂 Article 📅 2002 🏛 ACM Press 🌐 English ⚖ 143 KB

[ACM Press the 14th international confer

[ACM Press the 14th international conference - Ischia, Italy (2002.07.15-2002.07.19)] Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02 - Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic

✍ Di Lascio, Luigi 📂 Article 📅 2002 🏛 ACM Press 🌐 English ⚖ 143 KB