Journal of Logic, Language and Information

, Volume 17, Issue 2, pp 161–181

The Basic Constructive Logic for Negation-Consistency


DOI: 10.1007/s10849-007-9056-z

Cite this article as:
Robles, G. J of Log Lang and Inf (2008) 17: 161. doi:10.1007/s10849-007-9056-z


In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BKc4, 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.


Constructive negationSubstructural logicsTernary relational semanticsParaconsistent logic

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.LeonSpain