𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Endomorphisms and homomorphisms of Heyting algebras

✍ Scribed by M. E. Adams; V. Koubek; J. Sichler


Publisher
Springer
Year
1985
Tongue
English
Weight
603 KB
Volume
20
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Constructing Homomorphism Spaces and End
✍ Edward L. Green; Lenwood S. Heath; Craig A. Struble πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 364 KB

We present a new deterministic algorithm for constructing homomorphism spaces and endomorphism rings of finite-dimensional modules. The modules are given via vertex projective presentations over path algebras and finite-dimensional quotients of path algebras. We use the theory of right GrΓΆbner bases

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