Irreducibility in implicative semilattices
From MaRDI portal
Publication:754237
DOI10.1007/BF02488036zbMath0416.06006OpenAlexW2064649785MaRDI QIDQ754237
Publication date: 1979
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02488036
principal filterimplicative semilatticestrongly irreduciblefinitely irreduciblefinitely irreducible elementimplicative lattice of filters
Cites Work