A basic quasi-Boolean logic of intuitionistic character
Gemma Robles · Journal of Applied Non-Classical Logics · 2020
The logic BM is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of BM endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5G3. Unreduced Routley-Meyer ternary relational semantics are provided for all the logics defined in the paper.