Two deductions systems for the Logic PM4N

Abstract

The logic PM4N was introduced by Jean-Yves Beziau as a modal and 4-valued system. In this introductory paper, the author presented the system from a matrix logic with four values disposed in a Boolean algebra with a modal operator for the notion of necessity. From that matrix semantics, the paper shows some valid results and stresses some motivations of the matrix semantics and of the system PM4N. In this paper we develop some additional aspects of that logic and present two deductive systems for it, a simple system of tableaux and a sequent calculus.

Keywords

• Deduction systems
• Many-valued logics
• Tableaux
• Sequent calculus