Hilbert implication algebra and some properties (Q1984156)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Hilbert implication algebra and some properties |
scientific article; zbMATH DE number 7394667
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hilbert implication algebra and some properties |
scientific article; zbMATH DE number 7394667 |
Statements
Hilbert implication algebra and some properties (English)
0 references
13 September 2021
0 references
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.
0 references
