Related papers: A computational glimpse at the Leibniz and Frege h…
We prove that the problem of determining whether a finite logical matrix determines an algebraizable logic is complete for EXPTIME. The same result holds for the classes of order algebraizable, weakly algebraizable, equivalential and…
The paper is devoted to classification problem of finite dimensional complex none Lie filiform Leibniz algebras. Actually, the observations show there are two resources to get classification of filiform Leibniz algebras. The first of them…
The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically…
A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz…
This paper is devoted to the description of complex finite-dimensional algebras of level two. We obtain the classification of algebras of level two in the variety of Leibniz algebras. It is shown that, up to isomorphism, there exist three…
The paper is devoted to classification problem of finite dimensional complex none Lie filiform Leibniz algebras. The motivation to write this paper is an unpublished yet result of J.R.Gomez, B.A.Omirov on necessary and sufficient conditions…
In this paper we prove that in classifying of complex filiform Leibniz algebras, for which its naturally graded algebra is non-Lie algebra, it suffices to consider some special basis transformations. Moreover, we establish a criterion…
In this paper we show that the method for describing solvable Lie algebras with given nilradical by means of non-nilpotent outer derivations of the nilradical is also applicable to the case of Leibniz algebras. Using this method we extend…
Since Leibniz algebras were introduced by Loday as a generalization of Lie algebras, there has been a lot of interest in which results of the latter extend to the former. Cyclic algebras, those generated by one element, are a useful tool…
The paper aims to investigate the classification problem of low dimensional complex none Lie filiform Leibniz algebras. There are two sources to get classification of filiform Leibniz algebras. The first of them is the naturally graded none…
All solvable Lie algebras with Heisenberg nilradical have already been classified. We extend this result to a classification of solvable Leibniz algebras with Heisenberg nilradical. As an example, we show the complete classification of all…
We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square…
Leibniz algebras are certain generalization of Lie algebras. In this paper we give classification of non-Lie solvable (left) Leibniz algebras of dimension $\leq 8$ with one dimensional derived subalgebra. We use the canonical forms for the…
In general, the study of gradations has always represented a cornerstone in algebra theory. In particular, \textit{naturally graded} seems to be the first and the most relevant gradation when it comes to nilpotent algebras, a large class of…
Leibniz algebras are a non-anticommutative version of Lie algebras. They play an important role in different areas of mathematics and physics and have attracted much attention over the last thirty years. In this paper we investigate whether…
Complexity and decidability of logics is a major research area involving a huge range of different logical systems. This calls for a unified and systematic approach for the field. We introduce a research program based on an algebraic…
There are several researches on Lie algebras and Lie superalgebras graded by finite root systems. In this paper, we study Leibniz algebras graded by finite root systems and obtain some results in simply-laced cases.
The description of complex solvable Leibniz algebras whose nilradical is a naturally graded filiform algebra is already known. Unfortunately, a mistake was made in that description. Namely, in the case where the dimension of the solvable…
In this paper we continue the description of solvable Leibniz algebras whose nilradical is a filiform algebra. In fact, solvable Leibniz algebras whose nilradical is a naturally graded filiform Leibniz algebra are described in \cite{Campo}…
We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation. Our main result is that already its quasi-identities are undecidable:…