✦ LIBER ✦

Geometry of Robinson consistency in Łukasiewicz logic

✍ Scribed by Manuela Busaniche; Daniele Mundici

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elimination of Quantifiers on Łukasiewic

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

Averaging the truth-value in Łukasiewicz

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

A method of axiomatization of Łukasiewic

✍ Marek Tokarz 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 181 KB

On structural completeness of Łukasiewic

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

The consistency of the axiom of comprehe

✍ Richard B. White 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 879 KB

Characterization of prime numbers in Łuk

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