Related papers: Injectives in residuated algebras

We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…

We study tilting and projective-injective modules in a parabolic BGG category $\mathcal O$ for an arbitrary classical Lie superalgebra. We establish a version of Ringel duality for this type of Lie superalgebras which allows to express the…

Motivic characteristic classes of possibly singular algebraic varieties are homology class versions of motivic characteristics, not classes in the so-called motivic (co)homology. This paper is a survey on them with more emphasis on…

Following the work of Beilinson, Bernstein and Deligne, we study restriction and induction of t-structures in triangulated categories with respect to recollements. For derived categories of piecewise hereditary algebras we give a necessary…

We present some more foundations for a theory of real structure in operator spaces and algebras, in particular concerning the real case of the theory of injectivity, and the injective, ternary, and $C^*$-envelope. We consider the…

We give an explicit description of the Lie algebra of derivations for a class of infinite dimensional algebras which are given by \'etale descent. The algebras under consideration are twisted forms of central algebras over rings, and…

We describe (braided-)commutative algebras with non-degenerate multiplicative form in certain braided monoidal categories, corresponding to abelian metric Lie algebras (so-called Drinfeld categories). We also describe local modules over…

Extending the work of Freese and Cook, which develop the basic theory of calculus and power series over real associative algebras, we examine what can be said about the logarithmic functions over an algebra. In particular, we find that for…

Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…

This is a survey on the usage of the module theoretic notion of a "retractable module" in the study of algebras with actions. We explain how classical results can be interpreted using module theory and end the paper with some open…

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…

This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata in the sense that polynomial-time reductions exist from one…

Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has been introduced and explored. A variety of constructors over…

Associating to each pre-order on the indices 1,...,n the corresponding structural matrix ring, or incidence algebra, embeds the lattice of n-element pre-orders into the lattice of n x n matrix rings. Rings within the order-convex hull of…

We introduce and study single-conclusioned nested sequent calculi for a broad class of intuitionistic multi-modal logics known as "intuitionistic grammar logics (IGLs)." These logics serve as the intuitionistic counterparts of classical…

The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…

This paper is devoted to the classification and studying properties of complex unital $3$-dimensional structurable algebras. We provide a complete list of non-isomorphic classes, identifying five algebras for type $(2, 1)$ and two algebras…

Lie-Yamaguti algebras (or generalized Lie triple systems) are binary-ternary algebras intimately related to reductive homogeneous spaces. The Lie-Yamaguti algebras which are irreducible as modules over their Lie inner derivation algebra are…

We give a complete classification of the class of Lie algebras of simply connected real Lie groups whose nontrivial coadjoint orbits are of codimension 1. Such a Lie group belongs to a well-known class, called the class of MD-groups. The…

We construct representation theory of Lie algebras with filtrations. In this framework a classification of irreducible representations is obtained and spectra of some reducible representations are found.