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ę "Algebra" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 65
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ł:
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ł:
Prime ideal theorem for double Boolean algebras
Autorzy:
Kwuida, Léonard
Powiązania:
https://bibliotekanauki.pl/articles/728830.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
double Boolean algebra
protoconcept algebra
concept algebra
weakly dicomplemented lattices
Opis:
Double Boolean algebras are algebras (D,⊓,⊔,⊲,⊳,⊥,⊤) of type (2,2,1,1,0,0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under ⊓ (resp. ⊔). A filter F is called primary if F ≠ ∅ and for all x ∈ D we have x ∈ F or $x^{⊲} ∈ F$. In this note we prove that if F is a filter and I an ideal such that F ∩ I = ∅ then there is a primary filter G containing F such that G ∩ I = ∅ (i.e. the Prime Ideal Theorem for double Boolean algebras).
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 263-275
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ł:
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ł
Tytuł:
Hyperidentities in transitive graph algebras
Autorzy:
Poomsa-ard, Tiang
Wetweerapong, Jeerayut
Samartkoon, Charuchai
Powiązania:
https://bibliotekanauki.pl/articles/729103.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
identity
hyperidentity
term
normal form term
binary algebra
graph algebra
transitive graph algebra
Opis:
Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies an identity s ≈ t if the corresponding graph algebra A(G) satisfies s ≈ t. A graph G = (V,E) is called a transitive graph if the corresponding graph algebra A(G) satisfies the equation x(yz) ≈ (xz)(yz). An identity s ≈ t of terms s and t of any type t is called a hyperidentity of an algebra A̲ if whenever the operation symbols occurring in s and t are replaced by any term operations of A of the appropriate arity, the resulting identities hold in A̲ .
In this paper we characterize transitive graph algebras, identities and hyperidentities in transitive graph algebras.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 23-37
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
On QI-algebras
Autorzy:
Bandaru, Ravi Kumar
Powiązania:
https://bibliotekanauki.pl/articles/38140990.pdf
Data publikacji:
2017-12-20
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
BI-algebra
QI-algebra
right distributive
ideal
congruence kernel
Opis:
In this paper, the notion of a QI-algebra is introduced which is a generalization of a BI-algebra and there are studied its properties. We considered ideals, congruence kernels in a QI-algebra and characterized congruence kernels whenever a QI-algebra is right distributive.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2017, 37, 2; 137-145
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A note on good pseudo BL-algebras
Autorzy:
Wojciechowska-Rysiawa, Magdalena
Powiązania:
https://bibliotekanauki.pl/articles/729035.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
pseudo BL-algebra
filter
(strongly) bipartite pseudo BL-algebra
Opis:
Pseudo BL-algebras are a noncommutative extention of BL-algebras. In this paper we study good pseudo BL-algebras and consider some classes of these algebras.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 193-205
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bipartite pseudo MV-algebras
Autorzy:
Dymek, Grzegorz
Powiązania:
https://bibliotekanauki.pl/articles/729149.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
pseudo MV-algebra
(maximal) ideal
bipartite pseudo MV-algebra
Opis:
A bipartite pseudo MV-algebra A is a pseudo MV-algebra such that A = M ∪ M ̃ for some proper ideal M of A. This class of pseudo MV-algebras, denoted BP, is investigated. The class of pseudo MV-algebras A such that A = M ∪ M ̃ for all maximal ideals M of A, denoted BP₀, is also studied and characterized.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 2; 183-197
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On pseudo BE-algebras
Autorzy:
Borzooei, Rajab
Saeid, Arsham
Rezaei, Akbar
Radfar, Akefe
Ameri, Reza
Powiązania:
https://bibliotekanauki.pl/articles/728936.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
BE-algebra
Pseudo BE-algebra
pseudo filter
pseudo upper set
Opis:
In this paper, we introduce the notion of pseudo BE-algebra which is a generalization of BE-algebra. We define the concepts of pseudo subalgebras and pseudo filters and prove that, under some conditions, pseudo subalgebra can be a pseudo filter. We prove that every homomorphic image and pre-image of a pseudo filter is also a pseudo filter. Furthermore, the notion of pseudo upper sets in pseudo BE-algebras introduced and is proved that every pseudo filter is an union of pseudo upper sets.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2013, 33, 1; 95-108
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ł:
Noetherian and Artinian pseudo MV-algebras
Autorzy:
Dymek, Grzegorz
Powiązania:
https://bibliotekanauki.pl/articles/728788.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
pseudo MV-algebra
(fuzzy) ideal
Noetherian (Artinian) pseudo MV-algebra
Opis:
The notions of Noetherian pseudo MV-algebras and Artinian pseudo MV-algebras are introduced and their characterizations are established. Characterizations of them via fuzzy ideals are also given.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 209-225
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The lattice of subvarieties of the biregularization of the variety of Boolean algebras
Autorzy:
Płonka, Jerzy
Powiązania:
https://bibliotekanauki.pl/articles/729041.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
subdirectly irreducible algebra
lattice of subvarieties
Boolean algebra
biregular identity
Opis:
Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by $V_{b}$ the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V).
Let B be the variety of Boolean algebras of type $τ_{b}: {+,·,´} → N$, where $τ_{b}(+) = τ_{b}(·) = 2$ and $τ_{b}(´) = 1$. In this paper we characterize the lattice $ℒ(B_{b})$ of all subvarieties of the biregularization of the variety B.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 255-268
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hyperidentities in many-sorted algebras
Autorzy:
Denecke, Klaus
Lekkoksung, Somsak
Powiązania:
https://bibliotekanauki.pl/articles/728740.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
hypersubstitution
hyperidentity
heterogeneous algebra
Opis:
The theory of hyperidentities generalizes the equational theory of universal algebras and is applicable in several fields of science, especially in computers sciences (see e.g. [2,1]). The main tool to study hyperidentities is the concept of a hypersubstitution. Hypersubstitutions of many-sorted algebras were studied in [3]. On the basis of hypersubstitutions one defines a pair of closure operators which turns out to be a conjugate pair. The theory of conjugate pairs of additive closure operators can be applied to characterize solid varieties, i.e., varieties in which every identity is satisfied as a hyperidentity (see [4]). The aim of this paper is to apply the theory of conjugate pairs of additive closure operators to many-sorted algebras.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 1; 47-74
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 65

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