On the free implicative semilattice extension of a Hilbert algebra (Q2888632)
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: On the free implicative semilattice extension of a Hilbert algebra |
scientific article; zbMATH DE number 6040457
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the free implicative semilattice extension of a Hilbert algebra |
scientific article; zbMATH DE number 6040457 |
Statements
On the free implicative semilattice extension of a Hilbert algebra (English)
0 references
1 June 2012
0 references
Hilbert algebras
0 references
implicative semilattices
0 references
free extensions
0 references
The authors introduce the notions of strong Frink ideal and optimal deductive filter in a Hilbert algebra. They also study the homomorphisms and semi-homomorphisms of Hilbert algebras. Finally, they give another proof for the existence of a free implicative semilattice extension of a Hilbert algebra.
0 references
