Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Hilbert algebras as implicative partial semilattices

100%
Open Mathematics
|
2007
|
tom 5
|
nr 2
264-279
EN
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
Content available remote

Relatively pseudocomplemented Hilbert algebras

100%
Open Mathematics
|
2008
|
tom 6
|
nr 1
189-190
EN
We characterise those Hilbert algebras that are relatively pseudocomplemented posets.
3
Content available remote

Prime ideals in 0-distributive posets

100%
EN
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
Content available remote

The algebra of mode homomorphisms

76%
EN
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
Content available remote

Ideals in distributive posets

64%
EN
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
Content available remote

A glimpse of deductive systems in algebra

52%
EN
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
Content available remote

On some congruences of power algebras

52%
EN
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).
first rewind previous Strona / 1 next fast forward last
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ć.