Four-Valued Expansions of Belnap's Logic: Inheriting Basic Peculiarities

EasyChair Preprint 3118, version 5

Abstract

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.

Keyphrases: logic, matrix, model

@booklet{EasyChair:3118,
  author    = {Alexej Pynko},
  title     = {Four-Valued Expansions of Belnap's Logic: Inheriting Basic Peculiarities},
  howpublished = {EasyChair Preprint 3118},
  year      = {EasyChair, 2020}}