✦ LIBER ✦

Independent axiom systems for nearlattices

✍ Scribed by João Araújo; Michael Kinyon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Independent axioms for Convexity

✍ Victor Bryant 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 120 KB

Independent Axiom Schemata for S5

✍ Alan Ross Anderson 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 178 KB

Independence of axiom system of basic al

✍ Ivan Chajda; Miroslav Kolařík 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 93 KB

Independence of axioms for biordered set

✍ S. Premchand 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 419 KB

Independence of axioms for fourgonal fam

✍ Sven Boekholt; Markus Stroppel 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 125 KB

Independent Axioms for Infinite-Valued L

✍ Atwell R. Turquette 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 399 KB