๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

In-symmetrical Heyting algebras

โœ Scribed by Sonia Savini; Julio Sewald; Alicia Ziliani


Book ID
105111146
Publisher
Springer
Year
1992
Tongue
English
Weight
384 KB
Volume
29
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Profinite Heyting Algebras
โœ G. Bezhanishvili; N. Bezhanishvili ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 419 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

Functional monadic Heyting algebras
โœ Guram Bezhanishvili; John Harding ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Springer ๐ŸŒ English โš– 179 KB