Related papers: Semilinear substructural logics with the finite em…
We review the new approach to the theory of nonlinear $W$-algebras which is developed recently and called {\it conformal linearization}. In this approach $W$-algebras are embedded as subalgebras into some {\it linear conformal} algebras…
We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proof calculus (specifically: every analytic structural rule…
It has recently been shown that the $W_3$ and $W_3^{(2)}$ algebras can be considered as subalgebras in some linear conformal algebras. In this paper we show that the nonlinear algebras $W_{2,4}$ and $WB_2$ as well as Zamolodchikov's spin…
Following a characterization [10] of locally tabular logics with finitary (or unitary) unification by their Kripke models we determine the unification types of some intermediate logics (extensions of {\sf INT}). There are exactly four…
We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.
Finite versions of W-algebras are introduced by considering (symplectic) reductions of finite dimensional simple Lie algebras. In particular a finite analogue of $W^{(2)}_3$ is introduced and studied in detail. Its unitary and non-unitary,…
In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively…
Finite rational $\cw$ algebras are very natural structures appearing in coset constructions when a Kac-Moody subalgebra is factored out. In this letter we address the problem of relating these algebras to integrable hierarchies of…
We show that the Zamolodchikov's and Polyakov-Bershadsky nonlinear algebras $W_3$ and $W_3^{(2)}$ can be embedded as subalgebras into some {\em linear} algebras with finite set of currents. Using these linear algebras we find new field…
We prove that the sequent calculus $\mathsf{L_{RBL}}$ for residuated basic logic $\mathsf{RBL}$ has strong finite model property, and that intuitionistic logic can be embedded into basic propositional logic $\mathsf{BPL}$. Thus…
We give solutions to Problems 2.21, 2.31 and 2.32, which were posed Borzow\'a-Moln\'arov\'a, Hal\v{c}inov\'a and Hutn\'ik in [{\it The smallest semicopula-based universal integrals I: properties and characterizations,} Fuzzy Sets and…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
In this paper, we introduce the class of finitely semi-graded algebras which extends the connected graded algebras finitely generated in degree one. The Koszul behavior of finitely semi-graded algebras is investigated by the distributivity…
This article can be viewed as a continuation of the articles arXiv:0912.3486 and arXiv:1012.3714 where the decomposable Lie algebras admitting half-flat SU(3)-structures are classified. The new main result is the classification of the…
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…
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…
We show that a wide class of $W$-(super)algebras, including $W_N^{(N-1)}$, $U(N)$-superconformal as well as $W_N$ nonlinear algebras, can be linearized by embedding them as subalgebras into some {\em linear} (super)conformal algebras with…
One of the algebraic structures that has emerged recently in the study of the operator product expansions of chiral fields in conformal field theory is that of a Lie conformal algebra [K]. A Lie pseudoalgebra is a generalization of the…
We generalize some of the standard homological techniques to $\cW$-algebras, and compute the semi-infinite cohomology of the $\cW_3$ algebra on a variety of modules. These computations provide physical states in $\cW_3$ gravity coupled to…
A finite W-algebra is an associative algebra constructed from a semisimple Lie algebra and its nilpotent element. In this survey we review recent developments in the representation theory of W-algebras. We emphasize various interactions…