Results 1 to 10 of about 5,921 (54)
On Implicative and Positive Implicative GE Algebras
Bulletin of the Section of Logic, 2023 GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebras verifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these
Andrzej Walendziak
doaj +2 more sources
Journal of Mathematics, 2021 The concepts of (commutative, transitive, left exchangeable, belligerent, antisymmetric) interior GE-algebras and bordered interior GE-algebras are introduced, and their relations and properties are investigated.
Jeong-Gon Lee +3 more
doaj +2 more sources
Imploring GE-Filters of GE-Algebras
Journal of Mathematics, 2021 Relations between a transitive GE-algebra, a belligerent GE-algebra, an antisymmetric GE-algebra, and a left exchangeable GE-algebra are displayed. A new substructure, so called imploring GE-filter, is introduced, and its properties are investigated. The
Seok-Zun Song +2 more
doaj +2 more sources
Bulletin of the Section of Logic, 2021 Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced ...
Ravikumar Bandaru +2 more
doaj +2 more sources
Circulant association schemes on triples [PDF]
New Zealand Journal of Mathematics, 2021 Association Schemes and coherent configurations (and the related Bose-Mesner algebra and coherent algebras) are well known in combinatorics with many applications.
C. Praeger, P. Bhattacharya
semanticscholar +1 more source
Expressive Power of Linear Algebra Query Languages [PDF]
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2020 Linear algebra algorithms often require some sort of iteration or recursion as is illustrated by standard algorithms for Gaussian elimination, matrix inversion, and transitive closure.
F. Geerts +3 more
semanticscholar +1 more source
Imploring interior GE-filters in GE-algebras
AIMS Mathematics, 2022 The concept of an imploring interior GE-filter is introduced, and their properties are investigated. The relationship between an interior GE-filter and an imploring interior GE-filter are discussed.
Sun Shin Ahn +2 more
doaj +1 more source
Prominent interior GE-filters of GE-algebras
AIMS Mathematics, 2021 The concept of a prominent interior GE-filter (of type 1 and type 2) is introduced, and their properties are investigated. The relationship between a prominent GE-filter and a prominent interior GE-filter and the relationship between an interior GE ...
Seok-Zun Song +2 more
doaj +1 more source
Discussiones Mathematicae - General Algebra and Applications, 2021 A new algebraic structure was introduced, called an eGE-algebra, which is a generalisation of a GE-algebra and investigated its properties. We explore the definition of filters and the quotient algebra associated with such filters.
Bandaru R.K., Rafi N., Rezaei A.
doaj +1 more source
On the Expressive Power of Query Languages for Matrices [PDF]
International Conference on Database Theory, 2017 We investigate the expressive power of MATLANG, a formal language for matrix manipulation based on common matrix operations and linear algebra. The language can be extended with the operation inv for inverting a matrix.
R. Brijder +3 more
semanticscholar +1 more source