Related papers: Injectives in residuated algebras

Mutexes (i.e., locks) are well understood in separation logic, and can be specified in terms of either protecting an invariant or atomically changing the state of the lock. In this abstract, we develop the same styles of specifications for…

We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…

After recalling the notion of Lie algebroid, we construct these structures associated with contact forms or systems. We are then interested in particular classes of Lie Rinehart algebras.

The injective polynomial modules for a general linear group $G$ of degree $n$ are labelled by the partitions with at most $n$ parts. Working over an algebraically closed field of characteristic $p$, we consider the question of which…

In this paper we study the representation theory for certain ``half lattice vertex algebras.'' In particular we construct a large class of irreducible modules for these vertex algebras. We also discuss how the representation theory of these…

Multiplicative left Hom-Leibniz algebras have natural Hom-Lie-Yamaguti structure.

In this paper we investigate two logics from an algebraic point of view. The two logics are: MALL (multiplicative-additive Linear Logic) and LL (classical Linear Logic). Both logics turn out to be strongly algebraizable in the sense of Blok…

In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. In addition, they enjoy a top-down symmetry and some…

Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.

This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FLe-algebras). In particular,…

This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…

It is a fairly known fact that most of the algebras appearing in the theory of rings of differential operators, quantized algebras of different kinds (including many quantum groups), regular algebras in projective non-commutative geometry,…

We give a proof, based on the rigidity of tilting complexes, that the class of self-injective finite-dimensional algebras over an algebraically closed field is closed under derived equivalence.

We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws.

Characterisations of those separable C*-algebras that have type I injective envelopes or W*-algebra injective envelopes are presented.

We describe the structure of finite dimensional selfinjective algebras over an arbitrary field without short cycles of indecomposable modules.

In this article we prove a set of preservation properties of the reticulation functor for residuated lattices (for instance preservation of subalgebras, finite direct products, inductive limits, Boolean powers) and we transfer certain…

We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential…

We introduce the blockwise gluing construction. This describes residuated integral chains which can be decomposed into (possibly) partial algebras, stacked one on top of the other, and such that elements in a certain component multiply in…

We classify integrable irreducible $\hat{g}[\sigma]$-modules in categories E and C, where E is proved to contain the well known evaluation modules and C to unify highest weight modules, evaluation modules and their tensor product modules.