A basic quasi-Boolean logic of intuitionistic character

Abstract

The logic B is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5 . Unreduced Routley-Meyer ternary relational semantics are provided for all the logics defined in the paper.