Related papers: On Heyting algebras with negative tense operators
We develop a partial Hopf-Galois theory for partial H-module algebras and we recover analogs of classical results for Hopf algebras.
The graded Lie algebra associated with the Nottingham group over a field of prime characteristic serves as a fundamental example of Nottingham algebras, a class of infinite-dimensional, positively graded thin algebras. This paper completes…
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces…
In this note, we introduce a class of algebras that are in some sense related to conformal algebras. This class (called TC-algebras) includes Weyl algebras and some of their (associative and Lie) subalgebras. By a conformal algebra we…
Using the natural duality between linear functionals on tensor products of C*-algebras with the trace class operators on a Hilbert space H and linear maps of the C*-algebra into B(H), we give two characterizations of separability, one…
We introduce a notion of ``hereditarily antisymmetric'' operator algebras and prove a structure theorem for them in finite dimensions. We also characterize those operator algebras in finite dimensions which can be made upper triangular and…
An explicit vertex operator algebra construction is given of a class of irreducible modules for toroidal Lie algebras.
The non-commutative analytic Toeplitz algebra is the weak operator topology closed algebra generated by the left regular representation of the free semigroup on $n$ generators. The structure theory of contractions in these algebras is…
In this paper, we introduce the notions of hom-Lie 2-algebras, which is the categorification of hom-Lie algebras, $HL_\infty$-algebras, which is the hom-analogue of $L_\infty$-algebras, and crossed modules of hom-Lie algebras. We prove that…
Classes of $G$-Hom-associative algebras are constructed as deformations of $G$-associative algebras along algebra endomorphisms. As special cases, we obtain Hom-associative and Hom-Lie algebras as deformations of associative and Lie…
We classify strongly homotopy Lie algebras - also called L-infinity algebras - of one even and two odd dimensions, which are related to $2|1$-dimensional $Z_2$-graded Lie algebras. What makes this case interesting is that there are many…
An anti-associative algebra is a nonassociative algebra whose multiplication satisfies the identity a(bc)+(ab)c=0. Such algebras are nilpotent. We describe the free anti-associative algebras with a finite number of generators. Other types…
We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to 'recover' the properties of classical…
A $\nabla$-algebra is a natural generalization of a Heyting algebra, unifying several algebraic structures, including bounded lattices, Heyting algebras, temporal Heyting algebras, and the algebraic representation of dynamic topological…
For effect algebras, the so-called tense operators were already introduced by Chajda and Paseka. They presented also a canonical construction of them using the notion of a time frame. Tense operators express the quantifiers "it is always…
We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.
The relation between nonlinear algebras and linear ones is established. For one-dimensional nonlinear deformed Heisenberg algebra with two operators we find the function of deformation for which this nonlinear algebra can be transformed to…
In this paper we extend of the notion of algebraically closed given in the case of groups and skew fields to an arbitrary h-inductive theory. The main subject of this paper is the study of the notion of positive algebraic closedness and its…
We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan…
Operator algebras generated by partial isometries and their adjoints form the basis for some of the most well studied classes of C*-algebras. The primary object of this paper is the norm-closed operator algebra generated by a left…