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

Znaleziono wyników: 3

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

Topological representation for monadic implication algebras

100%
Abad M., Cimadamore C., Díaz Varela J.
Open Mathematics
|
2009
|
tom 7
|
nr 2
299-309
EN
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.
2
Content available remote

Representation and duality for Hilbert algebras

100%
Celani S., Cabrer L., Montangie D.
Open Mathematics
|
2009
|
tom 7
|
nr 3
463-478
EN
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.
3
Content available remote

The combinatorial derivation and its inverse mapping

84%
Protasov I.
Open Mathematics
|
2013
|
tom 11
|
nr 12
2176-2181
EN
Let G be a group and P G be the Boolean algebra of all subsets of G. A mapping Δ: P G → P G defined by Δ(A) = {g ∈ G: gA ∩ A is infinite} is called the combinatorial derivation. The mapping Δ can be considered as an analogue of the topological derivation d: P X→ P X, A ↦ A d, where X is a topological space and A d is the set of all limit points of A. We study the behaviour of subsets of G under action of Δ and its inverse mapping ∇. For example, we show that if G is infinite and I is an ideal in P G such that Δ(A) ∈ I and ∇(A) ⊆ I for each A ∈ I then I = P G.
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ć.