Sciweavers

JOLLI
2008

The Basic Constructive Logic for Negation-Consistency

13 years 3 months ago
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.
Gemma Robles
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where JOLLI
Authors Gemma Robles
Comments (0)