Results 31 to 40 of about 38,780 (317)
Relational algebraic ornaments [PDF]
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013 Dependently typed programming is hard, because ideally dependently typed programs should share structure with their correctness proofs, but there are very few guidelines on how one can arrive at such integrated programs. McBride's algebraic ornamentation provides a methodological advancement, by which the programmer can derive a datatype from a ...
Hsiang-Shang Ko, Jeremy Gibbons
openaire +2 more sources
Golod-Shafarevich algebras, free subalgebras and Noetherian images [PDF]
, 2012 It is shown that Golod–Shafarevich algebras of a reduced number of defining relations contain noncommutative free subalgebras in two generators, and that these algebras can be homomorphically mapped onto prime, Noetherian algebras with linear growth.
Agata Smoktunowicz, Smoktunowicz, Agata
core +1 more source
Solutions to Open Problems on Fuzzy Filters of -algebras [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper focuses on the investigation of fuzzy filters of -algebras, an important and popular generic logical algebra. By studying the equivalent conditions of fuzzy fantastic filter and fuzzy normal filter of -algebras, the relation between these two ...
Wang Wei, Arsham Borumand Saeid
doaj +1 more source
On Anti-Q-Fuzzy Deductive Systems of Hilbert Algebras
International Journal of Analysis and Applications, 2023 In this paper, the concept of anti-Q-fuzzy deductive systems concepts of Hilbert algebras are introduced and proved some results. Further, we discuss the relation between anti-Q-fuzzy deductive system and level subsets of a Q-fuzzy set.
M. Vasuki, P. Senthil Kumar, N. Rajesh
doaj +1 more source
Regularity of Algebras Related to the Sklyanin Algebra [PDF]
Transactions of the American Mathematical Society, 1994 This paper continues the research of [SS] by finding further examples of (Artin-Schelter) regular rings of dimension four. Unlike the threedimensional case studied in [ATV1, 2], these examples show that the fourdimensional regular rings are not uniquely determined by their associated geometric data.
openaire +1 more source
On Particular Totally Multiplicatively Prime Algebras [PDF]
المجلة العراقية للعلوم الاحصائية, 2010 Following Mathiew, Cabrera-Rodriguez and Cabera-Mohammed we define particular totally multiplicatively prime algebra. Using these algebras we improved the result due to Cabera-Mohammed which stated that, if A is a real totally multiplicatively prime ...
doaj +1 more source
Single-Valued Neutro Hyper BCK-Subalgebras
Journal of Mathematics, 2021 The purpose of this paper is to introduce the notation of single-valued neutrosophic hyper BCK-subalgebras and a novel concept of neutro hyper BCK-algebras as a generalization and alternative of hyper BCK-algebras, that have a larger applicable field. In
M. Hamidi, F. Smarandache
doaj +1 more source
On Schur algebras and related algebras, II
Journal of Algebra, 1986 The author defines an \(R\)-algebra \(S_ R(\pi)\) for each finite saturated set \(\pi\) of dominant weights of a semisimple, complex, finite dimensional Lie algebra \(\mathfrak g\). When \(\mathfrak g=\mathfrak{sl}_ n(C)\), then if \(\pi\) is chosen carefully, the construction generalizes that of the Schur algebras.
openaire +3 more sources
Algebraic relations and presentations
Theoretical Computer Science, 1983 AbstractIn this paper the authors examine the mathematical foundations of taking quotients in the category of Scott's continuous lattices (Scott, 1977). They study two questions: (1) What are the limitations of taking quotients in the category of algebraic lattices? (2) What is the meaning of an effectively given congruence relation?
Tsutomu Kamimura, Adrian Tang 0001
openaire +2 more sources
Properties and examples of FCR-algebras [PDF]
, 2001 An algebra A over a field k is FCR if every finite dimensional representation of A is completely reducible and the intersection of the kernels of these representations is zero.
Kraft, Hanspeter +2 more
core +1 more source