The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative subalgebra of an implicative semilattice),and conversely.The implication in an implicative partial semilattice is characterised in terms of ?lters of the underlying partial semilattice.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In the first section of this paper, we prove an analogue of Stone’s Theorem for posets satisfying DCC by using semiprime ideals. We also prove the existence of prime ideals in atomic posets in which atoms are dually distributive. Further, it is proved that every maximal non-dense (non-principal) ideal of a 0-distributive poset (meet-semilattice) is prime. The second section focuses on the characterizations of (minimal) prime ideals in pseudocomplemented posets. The third section deals with the generalization of the classical theorem of Nachbin. In fact, we prove that a dually atomic pseudocomplemented, 1-distributive poset is complemented if and only if the poset of prime ideals is unordered. In the last section, we have characterized 0-distributive posets by means of prime ideals and minimal prime ideals.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Modes are idempotent and entropic algebras. While the mode structure of sets of submodes has received considerable attention in the past, this paper is devoted to the study of mode structure on sets of mode homomorphisms. Connections between the two constructions are established. A detailed analysis is given for the algebra of homomorphisms from submodes of one mode to submodes of another. In particular, it is shown that such algebras can be decomposed as Płonka sums of more elementary homomorphism algebras. Some critical examples are examined.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We prove that any ideal in a distributive (relative to a certain completion) poset is an intersection of prime ideals. Besides that, we give a characterization of n-normal meet semilattices with zero, thus generalizing a known result for lattices with zero.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In a natural way we can “lift” any operation defined on a set A to an operation on the set of all non-empty subsets of A and obtain from any algebra (A, Ω) its power algebra of subsets. In this paper we investigate extended power algebras (power algebras of non-empty subsets with one additional semilattice operation) of modes (entropic and idempotent algebras). We describe some congruence relations on these algebras such that their quotients are idempotent. Such congruences determine some class of non-trivial subvarieties of the variety of all semilattice ordered modes (modals).
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.