In this paper, we survey 3-valued logics and their complete axiomatizations, one of which is new. We then propose a 4-valued, functionally complete logic that incorporates these 3-valued systems and provide notations for interesting operators and subsystems.
