Substructural logics are by now one of the most prominent branches of the research field
usually labelled as" nonclassical logics"-and perhaps of logic tout court. Over the last few …

For a residuated lattice A we denote by Ds (A) the lattice of all congruence filters (deductive
systems) of A. The aim of this paper is to put in evidence some new rules of calculus in …

A biresiduation algebra is a-subreduct of an integral residuated lattice. These algebras arise
as algebraic models of the implicational fragment of the Full Lambek Calculus with …

In this paper we extend to various classes of subreducts of hoops some results about
splitting algebras. In particular we prove that every finite chain in the purely implicational …

We set out to present some recent developments in the theory of residuated lattices. As
such, our task is entirely algebraic in nature, and indeed algebraic methods will be used …

In this thesis, we study semisimplicity, amalgamation property and finite embeddability
property of residuated lattices. We prove semisimplicity and amalgamation property of …

In this paper a definition of n‐valued system in the context of the algebraizable logics is
proposed. We define and study the variety V3, showing that it is definitionally equivalent to …

人間が日常的に思考を行う際に使用する一般的な法則を見い出すために, 従来, 古典論理,
直観主義論理に代表される様々な論理が研究されてきた. そして, 90 年代以降は …

本論文において, 剰余束の半単純性, 融合性, 有限埋め込み性に関する幾つかの結果を示す.
本研究の特色は, 剰余束の半単純性, 融合性という純粋に代数的な性質を証明する際に部分構造 …