HH∗−intuitionistic heyting valued Ω-algebra and homomorphism
Intuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. The concept of Heyting algebra has been accepted as the basis for intuitionistic propositional logic. Heyting algebras have had applications...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Mohaghegh Ardabili
2017-07-01
|
| Series: | Journal of Hyperstructures |
| Subjects: | |
| Online Access: | https://jhs.uma.ac.ir/article_2683_cb3719ee6fa26b7620b19300c0d69fb5.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|