The basic constructive logic for a weak sense of consistency

In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BK c1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.

• Type: Journal
• Year: 2008
• Where: JOLLI
• Authors: Gemma Robles, José M. Méndez
• Keywords: Constructive Logic Bk, JOLLI 2008, Logics, Ternary Relational Semantics