The Basic Constructive Logic for Negation-Consistency

In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BK c4 , which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc4 up to minimal intuitionistic logic. All logics defined in this paper are paraconsistent logics.

• Type: Journal
• Year: 2008
• Where: JOLLI
• Authors: Gemma Robles
• Keywords: JOLLI 2008, Logic Bk C4, Logics, Ternary Relational Semantics