✦ LIBER ✦

Modal operators on Heyting algebras

✍ Scribed by D. S. Macnab

Book ID: 112760223
Publisher: Springer
Year: 1981
Tongue: English
Weight: 952 KB
Volume: 12
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf02483860

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Heyting Algebras with Operators

✍ Yasusi Hasimoto 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answ

Frontal Operators in Weak Heyting Algebr

Frontal Operators in Weak Heyting Algebras

✍ Sergio A. Celani, Hernán J. San Martín 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 277 KB

Bi-Heyting algebras, toposes and modalit

Bi-Heyting algebras, toposes and modalities

✍ Gonzalo E. Reyes; Houman Zolfaghari 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 1000 KB

The aim of this paper is to introduce a new approach to the modal operators of necessity and possibility. This approach is based on the cxistcncc of two negations in certain lattices that we call bi-Hcyting aIgebras. Modal operators are obtained by iterating certain combinations of these negations a

On Some Compatible Operations on Heyting

On Some Compatible Operations on Heyting Algebras

✍ Rodolfo Cristian Ertola Biraben; Hernán Javier San Martín 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 203 KB

Symmetrical Heyting algebras with a fini

Symmetrical Heyting algebras with a finite order type of operators

✍ Luisa Iturrioz 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 582 KB

Algebras of modal operators and partial

Algebras of modal operators and partial correctness

✍ Bernhard Möller; Georg Struth 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 252 KB