✦ LIBER ✦

Decidability of the Projective Beth Property in Varieties of Heyting Algebras

✍ Scribed by L.L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unification, finite duality and projecti

✍ Silvio Ghilardi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 279 KB

Free-decomposability in varieties of sem

✍ Manuel Abad; Juan Manuel Cornejo; Patricio Díaz Varela 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 136 KB

On some Classes of Heyting Algebras with

✍ José L. Castiglioni, Hernán J. San Martín 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 224 KB

On the specht property of certain variet

✍ V. N. Latyshev 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 711 KB

The unitary closure property of the prim

✍ L. M. Samoĭlov 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 214 KB

Algorithmic decidability of the Church-R

✍ Yu. A. Yushchenko 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 498 KB