Temat: Implication - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Commutative directoids with sectionally antitone bijections
Autorzy:: Chajda, Ivan
Kolařík, Miroslav
Radeleczki, Sándor
Powiązania:: https://bibliotekanauki.pl/articles/728818.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: directoid
section antitone bijection
implication algebra
double implication algebra
Opis:: 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.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 1; 77-89
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Implication algebras
Autorzy:: Chajda, Ivan
Powiązania:: https://bibliotekanauki.pl/articles/729171.pdf
Data publikacji:: 2006
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: implication algebra
pre-implication algebra
orthoimplication algebra
orthosemilattice
congruence kernel
Opis:: 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.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 2; 141-153
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Bounded lattices with antitone involutions and properties of MV-algebras
Autorzy:: Chajda, Ivan
Emanovský, Peter
Powiązania:: https://bibliotekanauki.pl/articles/728914.pdf
Data publikacji:: 2004
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: antitone involution
distributive lattice
implication algebra
MV-algebra
Opis:: 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.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 31-42
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja