𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Pavelka-style completeness in expansions of Łukasiewicz logic

✍ Scribed by Hector Freytes

Publisher
Springer
Year
2008
Tongue
English
Weight
166 KB
Volume
47
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded contraction and Gentzen-style fo
Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
✍ Andreja Prijatelj 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 834 KB

In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n > 2) is a version of the contraction rule where (n + 1) occurrences of a formula may be contracted to n occurrences. We show that