✦ LIBER ✦

Bi-Heyting algebras, toposes and modalities

✍ Scribed by Gonzalo E. Reyes; Houman Zolfaghari

Book ID: 104738675
Publisher: Springer Netherlands
Year: 1996
Tongue: English
Weight: 1000 KB
Volume: 25
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00357841

No coin nor oath required. For personal study only.

✦ Synopsis

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 and going to the limit. Examples of these operators are given by means of graphs.

📜 SIMILAR VOLUMES

Modal operators on Heyting algebras

✍ D. S. Macnab 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 952 KB

Subalgebras of Heyting and De Morgan Hey

Subalgebras of Heyting and De Morgan Heyting Algebras

✍ Valeria Castaño; Marcela Muñoz Santis 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 220 KB

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

MV and Heyting Effect Algebras

✍ D. J. Foulis 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 142 KB

Lukasiewicz and Symmetrical Heyting Alge

Lukasiewicz and Symmetrical Heyting Algebras

✍ Luisa Iturrioz 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 286 KB

Heyting*algebras, topological boolean al

Heyting*algebras, topological boolean algebras and P.O. systems

✍ Alain Touraille 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 607 KB