𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Subalgebras of Heyting and De Morgan Heyting Algebras

✍ Scribed by Valeria Castaño; Marcela Muñoz Santis

Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
220 KB
Volume
98
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

De Morgan Heyting algebras satisfying th
De Morgan Heyting algebras satisfying the identity xn(′*) ≈ x(n+1)(′*)
✍ Valeria Castaño; Marcela Muñoz Santis 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 143 KB

In this paper we investigate the sequence of subvarieties SDHn of De Morgan Heyting algebras characterized by the identity x n ( \* ) ≈ x (n + 1)( \* ) . We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in SDH1 by means of its space of prime filters, and we charact

Heyting Algebras with Operators
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

n-linear weakly Heyting algebras
n-linear weakly Heyting algebras
✍ Sergio A. Celani 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB

## Abstract The present paper introduces and studies the variety 𝒲ℋ︁~__n__~ of __n__‐linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic __K__ with a generalization of the axiom that defines the linear intuitionistic