✦ LIBER ✦

Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras

✍ Scribed by van Alten, C.J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model theory of Boolean products of subd

✍ Sprenger, Klaus-Hilmar 📂 Article 📅 1998 🏛 Taylor and Francis Group 🌐 English ⚖ 708 KB

[Lecture Notes in Mathematics] Universal

✍ Freese, Ralph S.; Garcia, Octavio C. 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 312 KB

The 3rd International Conference on Bool

✍ John Harding, Bart Kastermans, Keith Kearnes, J. Donald Monk, Ágnes Szendrei 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 123 KB

Borel Complexity of Isomorphism between

✍ Su Gao and Michael Ray Oliver 📂 Article 📅 2008 🏛 Association for Symbolic Logic 🌐 English ⚖ 945 KB

[Lecture Notes in Mathematics] Universal

✍ Freese, Ralph S.; Garcia, Octavio C. 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 870 KB

Homomorphisms for distributive operation

✍ J. Pfanzagl 📂 Article 📅 1967 🏛 Springer-Verlag 🌐 French ⚖ 382 KB