A propositional logic with 4 values: true, false, divergent and meaningless

Authors:
Publisher website
Google Scholar
Abstract
In this paper, we survey 3-valued logics and their complete axiomatizations, one of which may be new. We then propose a 4-valued, functionally complete logic that incorporates these 3-valued systems and provide notations for interesting operators and subsystems.

This publication has 5 references indexed in Scilit: