Autor: Kolařík, Miroslav - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Normalization of basic algebras
Autorzy:: Kolařík, Miroslav
Powiązania:: https://bibliotekanauki.pl/articles/728772.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: basic algebra
section antitone involution
q-lattice
normalization of a variety
Opis:: We consider algebras determined by all normal identities of basic algebras. For such algebras, we present a representation based on a q-lattice, i.e., the normalization of a lattice.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 237-249
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: A short note on $L_{CBA}$ - fuzzy logic with a non-associative conjunction
Autorzy:: Kolařík, Miroslav
Powiązania:: https://bibliotekanauki.pl/articles/728850.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: axiomatic system
non-associativity
fuzzy logic
Opis:: We significantly simplify the axiomatic system $L_{CBA}$ for fuzzy logic with a non-associative conjunction.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2016, 36, 1; 113-116
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: A common approach to directoids with an antitone involution and D-quasirings
Autorzy:: Chajda, Ivan
Kolařík, Miroslav
Powiązania:: https://bibliotekanauki.pl/articles/728822.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: directoid
antitone involution
D-quasiring
DN-algebra
a-mutation
Opis:: We introduce the so-called DN-algebra whose axiomatic system is a common axiomatization of directoids with an antitone involution and the so-called D-quasiring. It generalizes the concept of Newman algebras (introduced by H. Dobbertin) for a common axiomatization of Boolean algebras and Boolean rings.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 139-145
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Remarks on pseudo MV-algebras
Autorzy:: Chajda, Ivan
Kolařík, Miroslav
Powiązania:: https://bibliotekanauki.pl/articles/728764.pdf
Data publikacji:: 2009
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: pseudo MV-algebra
action function
guard function
difference functions
Opis:: Pseudo MV-algebras (see e.g., [4, 6, 8]) are non-commutative extension of MV-algebras. We show that every pseudo MV-algebra is isomorphic to the algebra of action functions where the binary operation is function composition, zero is x ∧ y and unit is x. Then we define the so-called difference functions in pseudo MV-algebras and show how a pseudo MV-algebra can be reconstructed by them.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 1; 5-19
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 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ł

Informacja