✦ LIBER ✦

Fuzzy quantum logics and infinite-valued Łukasiewicz logic

✍ Scribed by Jarosław Pykacz

Publisher: Springer
Year: 1994
Tongue: English
Weight: 661 KB
Volume: 33
Category: Article
ISSN: 0020-7748
DOI: 10.1007/bf00670685

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantum logic as partial infinite-valued

Quantum logic as partial infinite-valued Łukasiewicz logic

✍ Jarosław Pykacz 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 815 KB

Łukasiewicz logic and fuzzy set theory

✍ R. Giles 📂 Article 📅 1976 🏛 Elsevier Science ⚖ 1008 KB

A new form of logic is described, originally developed for the formalization of physical theories, the essential feature being a "fuzzification" of the concept of a proposition. A proposition is not regarded as being necessarily true or false; it is defined not via truth conditions but in terms of a

Complete and atomic algebras of the infi

Complete and atomic algebras of the infinite valued Łukasiewicz logic

✍ Roberto Cignoli 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 510 KB

Averaging the truth-value in Łukasiewicz

Averaging the truth-value in Łukasiewicz logic

✍ Daniele Mundici 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 931 KB

The consistency of the axiom of comprehe

The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz

✍ Richard B. White 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 879 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