A basic quasi-Boolean logic of intuitionistic character. Issue 4 (1st October 2020)

• Record Type: Journal Article
• Authors: Robles, Gemma
• Is Part Of: Journal of applied non-classical logics. Volume 30:Issue 4(2020)
• Page Start: 291
• Page End: 311
• Publication Date: 2020-10-01
• Subjects: De Morgan logics -- quasi-Boolean logics -- paraintuitionistic logics -- superintuitionistic logics -- Routley-Meyer ternary relational semantics; Nonclassical mathematical logic -- Periodicals; Wiskundige logica; Logic; Periodicals; 511.3105
• DOI: 10.1080/11663081.2020.1826155
• Languages: English
• ISSNs: 1166-3081

Abstract

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