The class of universal algebras, which are defined under binary square matrices of order n is considered. The algebra’s signature consists of two binary operations and a set of unary operations which determines the rotation of matrix elements. In this class the standard canonical forms based on complete identities systems were created
Title: Relational Approach to Universal Algebra Author: Jakub Opršal Department: Department of Algeb...
The relation of so-called Ihm-quasiorder (defining a closure operator on subsets of direct powers of...
AbstractA new algorithm is presented for the computation of canonical forms of matrices over fields....
The complete identities system of algebra U2 have been constructed in the paper. On the basis of the...
Abstract. There is considered the concept of the so-called free system of algebras for an ultraclose...
Summary. The product of two algebras, trivial algebra determined by an empty set and product of a fa...
Abstract. We present a development of Universal Algebra inside Type Theory, formalized using the pro...
AbstractIn this paper, we want to give an explicit description of identities satisfied by matrices n...
For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist i...
AbstractAn absolute valued algebra is a non-zero real algebra that is equipped with a multiplicative...
This book presents the foundations of a general theory of algebras. Often called "universal algebra"...
Available from British Library Document Supply Centre- DSC:7673.7004(88/56) / BLDSC - British Librar...
A new class of algebras, the so-called comtrans algebras that have recently arisen from the solution...
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rul...
The algorithmic recognition ability of the properties in the finite-generated associative algebras w...
Title: Relational Approach to Universal Algebra Author: Jakub Opršal Department: Department of Algeb...
The relation of so-called Ihm-quasiorder (defining a closure operator on subsets of direct powers of...
AbstractA new algorithm is presented for the computation of canonical forms of matrices over fields....
The complete identities system of algebra U2 have been constructed in the paper. On the basis of the...
Abstract. There is considered the concept of the so-called free system of algebras for an ultraclose...
Summary. The product of two algebras, trivial algebra determined by an empty set and product of a fa...
Abstract. We present a development of Universal Algebra inside Type Theory, formalized using the pro...
AbstractIn this paper, we want to give an explicit description of identities satisfied by matrices n...
For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist i...
AbstractAn absolute valued algebra is a non-zero real algebra that is equipped with a multiplicative...
This book presents the foundations of a general theory of algebras. Often called "universal algebra"...
Available from British Library Document Supply Centre- DSC:7673.7004(88/56) / BLDSC - British Librar...
A new class of algebras, the so-called comtrans algebras that have recently arisen from the solution...
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rul...
The algorithmic recognition ability of the properties in the finite-generated associative algebras w...
Title: Relational Approach to Universal Algebra Author: Jakub Opršal Department: Department of Algeb...
The relation of so-called Ihm-quasiorder (defining a closure operator on subsets of direct powers of...
AbstractA new algorithm is presented for the computation of canonical forms of matrices over fields....
DOI
Add to ORKG