Abstract

There is a small family of many-valued logics associated with the logic of First Degree Entailment. These may be called the FDE family. The purpose of the present paper is to provide natural deduction systems for these logics. This can be done in a quite systematic fashion. An appendix to the paper deals with a closely related system which is not in the family, “Paraconsistent Weak Kleene”.