
doi: 10.1007/bf02575520
We characterize the semilattices S which satisfy the condition (i) \(\forall \theta \in Con(S)\), \(x\theta a_ 1a_ 2\Rightarrow \exists x_ 1,x_ 2\in S:\) \(x_ 1\theta a_ 1\), \(x_ 2\theta a_ 2\) and \(x_ 1x_ 2=x\). Then we characterize the implicative semilattices S which satisfy not only (i) but also the condition (ii) \(\forall \theta \in Con(S)\), \(x\theta a_ 1*a_ 2\Rightarrow \exists x_ 1\), \(x_ 2\in S:\) \(x_ 1\theta a_ 1\), \(x_ 2\theta a_ 2\) and \(x_ 1*x_ 2=x\).
510.mathematics, implicative semilattices, Lattice ideals, congruence relations, Semilattices, perfect congruence, Article
510.mathematics, implicative semilattices, Lattice ideals, congruence relations, Semilattices, perfect congruence, Article
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
