Related papers: On Skew Heyting Algebras
For a couple of associative algebras we define the notion of their double and give a set of examples. Also, we discuss applications of such doubles to representation theory of certain quantum algebras and to a new type of Noncommutative…
In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure. This means that each Dyck path of either type has a relative pseudocomplement with…
In this article, we realize skew-gentle algebras as skew-tiling algebras associated to admissible partial triangulations of punctured marked surfaces. Based on this, we establish a bijection between tagged permissible curves and certain…
We study some homological invariants of a given generalized bound path algebra in terms of those of the algebras used in its construction. We discuss the particular case where the algebra is a generalized path algebra and give conditions…
In this paper, first we introduce the notion of a skew-Hom-Lie algebra and give some examples. Then we study their representations and give the coboundary operator of skew-Hom-Lie algebras. As an application, there have a skew-Hom-Lie…
We introduce the category of Heyting frames and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting…
In this paper, we prove that a biderivation of a finite dimensional complex simple Lie algebra without the restriction of skewsymmetric is inner. As an application, the biderivation of a general linear Lie algebra is presented. In…
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is…
The relationship between Heyting algebras (HA) and semirings is explored. A new class of HAs called Symmetric Heyting algebras (SHAs) is proposed, and a necessary condition on SHAs to be consider semirings is given. We define a new…
Skew-gentle algebras are a generalisation of the well-known class of gentle algebras with which they share many common properties. In this work, using non-commutative Gr\"obner basis theory, we show that these algebras are Koszul and that…
In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show…
A class of skew derivations on complex Noetherian generalized down-up algebras $L=L(f,r,s,\gamma)$ is constructed.
This is a survey on stated skein algebras and their representations.
We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean…
Hom-algebras are generalizations of algebras obtained using a twisting by a linear map. But there is a priori a freedom on where to twist. We enumerate here all the possible choices in the Lie and associative categories and study the…
We extend the correspondence between double Lie algebras and skew-symmetric Rota-Baxter operators of weight 0 on the matrix algebra for the infinite-dimensional case. We give the first example of a simple double Lie algebra.
We define alternating cyclotomic Hecke algebras in higher levels as subalgebras of cyclotomic Hecke algebras under an analogue of Goldman's hash involution. We compute the rank of these algebras and construct a full set of irreducible…
Following Artin and Zhang's formulation of noncommutative projective geometry, we classify up a family of skew polynomial quadratic algebras up to graded Morita equivalence and their corresponding noncommutative projective spaces up to…