✦ LIBER ✦

A Leśniewski-Mihailescu-Theorem for m-Valued Propositional Calculi.by Erik Götlind

✍ Scribed by Review by: Gene F. Rose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Deduction Theorem for Łukasiewicz Ma

✍ Review by: Mircea Tîrnoveanu 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 116 KB

A Formalisation of the m-Valued Łukasiew

✍ Review by: Eugen Mihǎilescu 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 191 KB