Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Chajda, Ivan" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 27
Tytuł:
Horizontal sums of basic algebras
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/728768.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
Basic algebra
horizontal sum
chain basic algebra
MV-algebra
Boolean algebra
Opis:
The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 1; 21-33
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modyfications of Csákánys Theorem
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/728864.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
congruence class
idempotent element
permutable variety
Mal'cev condition
Opis:
Varieties whose algebras have no idempotent element were characterized by B. Csákány by the property that no proper subalgebra of an algebra of such a variety is a congruence class. We simplify this result for permutable varieties and we give a local version of the theorem for varieties with nullary operations.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 37-41
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Congruences on semilattices with section antitone involutions
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729025.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
semilattice
section
antitone involution
congruence kernel
filter
congruence distributivity
3-permutability
Opis:
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 207-215
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Note on algebraic interior systems
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729087.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
interior system
algebraic closure system
interior algebraic system
Opis:
We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 2; 149-153
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Distributivity of bounded lattices with sectionally antitone involutions
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729093.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
sectionally antitone involution
bounded lattice
distributive lattice
MV-algebra
Opis:
We present a simple condition under which a bounded lattice L with sectionally antitone involutions becomes an MV-algebra. In thiscase, L is distributive. However, we get a criterion characterizingdistributivity of L in terms of antitone involutions only.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 2; 155-163
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A groupoid characterization of Boolean algebras
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729109.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
groupoid
Boolean algebra
semi-bolean algebra
involution
dualautomorphism (or antiautomorphism)
Opis:
We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 2; 177-184
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
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ł
Tytuł:
Two constructions of De Morgan algebras and De Morgan quasirings
Autorzy:
Chajda, Ivan
Eigenthaler, Günther
Powiązania:
https://bibliotekanauki.pl/articles/728752.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
De Morgan algebra
De Morgan quasiring
D-algebra
interval algebra
Boolean element
Opis:
De Morgan quasirings are connected to De Morgan algebras in the same way as Boolean rings are connected to Boolean algebras. The aim of the paper is to establish a common axiom system for both De Morgan quasirings and De Morgan algebras and to show how an interval of a De Morgan algebra (or De Morgan quasiring) can be viewed as a De Morgan algebra (or De Morgan quasiring, respectively).
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 2; 169-180
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some modifications of congruence permutability and dually congruence regular varietie
Autorzy:
Chajda, Ivan
Eigenthaler, Günther
Powiązania:
https://bibliotekanauki.pl/articles/728754.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
congruence regularity
local congruence regularity
dual congruence regularity
local n-permutability
Opis:
It is well known that every congruence regular variety is n-permutable (in the sense of [9]) for some n ≥ 2. For the explicit proof see e.g. [2]. The connections between this n and Mal'cev type characterizations of congruence regularity were studied by G.D. Barbour and J.G. Raftery [1]. The concept of local congruence regularity was introduced in [3]. A common generalization of congruence regularity and local congruence regularity was given in [6] under the name "dual congruence regularity with respect to a unary term g". The natural problem arises what modification of n-permutability is satisfied by dually congruence regular varieties. The aim of this paper is to find out such a modification, to characterize varieties satisfying it by a Mal'cev type condition and to show connections with normally presented varieties (see e.g. [5], [8], [11]). The latter concept was introduced already by J. P≥onka under a different term; the names "normal identity" and "normal variety" were firstly used by E. Graczyńska in [8].
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 165-174
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
Minimal bounded lattices with an antitone involution the complemented elements of which do not form a sublattice
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/728776.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
bounded lattice
antitone involution
complemented element
Opis:
Bounded lattices with an antitone involution the complemented elements of which do not form a sublattice must contain two complemented elements such that not both their join and their meet are complemented. We distinguish (up to symmetry) eight cases and in each of these cases we present such a lattice of minimal cardinality.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 251-259
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hypersubstitutions in orthomodular lattices
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/728780.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
hypersubstitution
proper hypersubstitution
orthomodular lattice
absorption algebra
Opis:
It is shown that in the variety of orthomodular lattices every hypersubstitution respecting all absorption laws either leaves the lattice operations unchanged or interchanges join and meet. Further, in a variety of lattices with an involutory antiautomorphism a semigroup generated by three involutory hypersubstitutions is described.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 83-92
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ring-like operations is pseudocomplemented semilattices
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/728882.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
pseudocomplemented semilattice
Boolean algebra
Boolean ring
distributivity
linear equation
ideal
congruence kernel
Opis:
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 87-95
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Wyświetlanie 1-15 z 27

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies