Aggregation operators (AOs) are well-known and efficient mathematical tools that are
utilized to overcome the impact of imprecise and vague information during the aggregation …

Let K be a variety of (commutative, integral) residuated lattices. The substructural logic
usually associated with K is an algebraizable logic that has K as its equivalent algebraic …

This paper aims at being a systematic investigation of different completeness properties of
first-order predicate logics with truth-constants based on a large class of left-continuous t …

The engineering and construction sector is vital to a country's economic growth, financial
activities, and development. These sectors generate opportunities for the unemployed …

We introduce a relational semantics based on poset products, and provide sufficient
conditions guaranteeing its soundness and completeness for various substructural logics …

This paper focuses on completeness results about generic expansions of propositional
weak nilpotent minimum (WNM) logics with truth-constants. Indeed, we consider algebraic …

In this paper we consider the expansions of logics of a left-continuous t-norm with truth-
constants from a subalgebra of the rational unit interval. From known results on standard …

We prove that almost all the properties of quantum-MV algebras are verified by
orthomodular algebras, the new algebras introduced in a previous paper. We put a special …

Logics with strong negation are a class of sentential calculi that originally arose from
concerns about the non-constructive nature of negation in intuitionistic logic. Nelson's …

This paper focuses on the issue of how generalizations of continuous and left-continuous t-
norms over linearly ordered sets should be from a logical point of view. Taking into account …