✦ LIBER ✦

A method of axiomatization of Łukasiewicz logics

✍ Scribed by Marek Tokarz

Publisher: Springer Netherlands
Year: 1974
Tongue: English
Weight: 181 KB
Volume: 33
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02123373

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elimination of Quantifiers on Łukasiewic

Elimination of Quantifiers on Łukasiewicz Logics

✍ Néstor G. Martínez 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 396 KB

An axiomatization of the finite-valued Ł

An axiomatization of the finite-valued Łukasiewicz calculus

✍ Roman Tuziak 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 369 KB

Geometry of Robinson consistency in Łuka

Geometry of Robinson consistency in Łukasiewicz logic

✍ Manuela Busaniche; Daniele Mundici 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 472 KB

On structural completeness of Łukasiewic

On structural completeness of Łukasiewicz's logics

✍ Marek Tokarz 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 258 KB

Characterization of prime numbers in Łuk

Characterization of prime numbers in Łukasiewicz's logical matrix

✍ Alexander S. Karpenko 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 789 KB

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