Hilbert Implication Algebra and Some Properties
The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is inves...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2021-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2021/3635185 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is investigated. Ideals and filters in Hilbert implication algebras are also discussed. In general, different theorems which show different properties are proved. |
|---|---|
| ISSN: | 1110-757X 1687-0042 |