The prime filter theorem of lattice implication algebras (Q5932794)
From MaRDI portal
scientific article; zbMATH DE number 1607426
Language | Label | Description | Also known as |
---|---|---|---|
English | The prime filter theorem of lattice implication algebras |
scientific article; zbMATH DE number 1607426 |
Statements
The prime filter theorem of lattice implication algebras (English)
0 references
13 November 2001
0 references
Summary: Using a special set \(x^{-1}F\), we give an equivalent condition for a filter to be prime, and applying this result, we provide the prime filter theorem in lattice implication algebras.
0 references
prime filter theorem
0 references
lattice implication algebras
0 references