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ł:: Quasi-implication algebras
Autorzy:: Chajda, Ivan
Dušek, Kamil
Powiązania:: https://bibliotekanauki.pl/articles/729013.pdf
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: implication
non-involutory negation
quasi-implication algebra
implitcation algebra
pseudocomplemented semilattice
q-semilattice
Opis:: A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 183-198
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

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ł

Skocz do pozycji: 5.

Tytuł:: Commutative directoids with sectional involutions
Autorzy:: Chajda, Ivan
Powiązania:: https://bibliotekanauki.pl/articles/729147.pdf
Data publikacji:: 2007
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: commutative directoid
sectional involution
sectional complement
d-implication algebra
NMV-algebra
Opis:: The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1; 49-58
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja