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

Wyszukiwano:
w słowach kluczowych:  implication algebra
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Bounded lattices with antitone involutions and properties of MV-algebras

100%
Chajda I., Emanovský P.
Discussiones Mathematicae - General Algebra and Applications
|
2004
|
tom 24
|
nr 1
31-42
EN
We introduce a bounded lattice L = (L;∧,∨,0,1), where for each p ∈ L there exists an antitone involution on the interval [p,1]. We show that there exists a binary operation · on L such that L is term equivalent to an algebra A(L) = (L;·,0) (the assigned algebra to L) and we characterize A(L) by simple axioms similar to that of Abbott's implication algebra. We define new operations ⊕ and ¬ on A(L) which satisfy some of the axioms of MV-algebra. Finally we show what properties must be satisfied by L or A(L) to obtain all axioms of MV-algebra.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Commutative directoids with sectionally antitone bijections

100%
Chajda I., Kolařík M., Radeleczki S.
Discussiones Mathematicae - General Algebra and Applications
|
2008
|
tom 28
|
nr 1
77-89
EN
We study commutative directoids with a greatest element, which can be equipped with antitone bijections in every principal filter. These can be axiomatized as algebras with two binary operations satisfying four identities. A minimal subvariety of this variety is described.
3
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Implication algebras

88%
Chajda I.
Discussiones Mathematicae - General Algebra and Applications
|
2006
|
tom 26
|
nr 2
141-153
EN
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties.
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ć.