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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have