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!
|