The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points

摘要

Sylvan and Plumwood's B_m is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic B_(KM) and some of its extensions. The logic B_(KM) is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.