Advances in Many-valued Logic

Here, we investigate, first of all, how (extensions of) four-valued expansions of Belnap's ''useful'' four-valued logic inherit its basic peculiarities. In addition, we explore the issue of (especially, maximal) paraconsistency within three-valued and general many-valued framework. For solving both the primary and the secondary tasks, we elaborate certain advanced universal algebraic tools to be equally applied to other similar problems.