Related papers: Classification of states on certain orthomodular s…

We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be…

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…

Let $\Lambda$ be a finite-dimensional associative algebra. The torsion classes of $mod\, \Lambda$ form a lattice under containment, denoted by $tors\, \Lambda$. In this paper, we characterize the cover relations in $tors\, \Lambda$ by…

We describe various structures of algebraic nature on the space of continuous valuations on convex sets, their properties (like versions of Poincar\'e duality and hard Lefschetz theorem), and their relations and applications to integral…

We introduce new classes of integrable models that exhibit a structure similar to that of flag vector spaces. We present their Hamiltonians, R-matrices and Bethe-ansatz solutions. These models have a new type of generalized graded algebra…

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…

We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving…

In this paper we explore the method of holomorphic induction for unitary representations of Banach--Lie groups. First we show that the classification of complex bundle structures on homogeneous Banach bundles over complex homogeneous spaces…

A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to…

Using cocycle twists for associative graded algebras, we characterize finite dimensional nilpotent Lie color algebras $L$ graded by arbitrary abelian groups whose enveloping algebras $U(L)$ have the property that the injective hulls of…

We develop a theory of vector valued automorphic forms associated to the Weil representation $\omega_f$ and corresponding to vector valued modular forms transforming with the ``finite'' Weil representation $\rho_L$. For each prime $p$ we…

This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can simultaneously satisfy residuation principles and…

Algebraic approach to the integrability condition called shape invariance is briefly reviewed. Various applications of shape-invariance available in the literature are listed. A class of shape-invariant bound-state problems which represent…

We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices…

The canonical coherent states are expressed as infinite series in powers of a complex number $z$ in their infinite series version. In this article we present classes of coherent states by replacing this complex number $z$ by other choices,…

The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary…

The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely additive probability for product logic formulas, called…

For certain vertex operator algebras (e.g., lattice type) and given finite group of automorphisms, we prove existence of a positive definite integral form invariant under the group. Applications include an integral form in the Moonshine VOA…

We consider a class of linear ODEs of second order with variable coefficients and construct its Lie algebra of Lie group of equivalence transformations. Further we find invariants and differential invariants of this Lie algebra and by using…