Journal of Logic, Language and Information

, Volume 18, Issue 2, pp 199–216

The Basic Constructive Logic for Absolute Consistency


DOI: 10.1007/s10849-008-9077-2

Cite this article as:
Méndez, J.M. & Robles, G. J of Log Lang and Inf (2009) 18: 199. doi:10.1007/s10849-008-9077-2


In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructive logic BKc6, 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 BKc6 up to contractionless 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. 2008

Authors and Affiliations

  1. 1.Universidad de SalamancaSalamancaSpain
  2. 2.Dpto. de Historia y Filosofía de la CC, la Ed. y el Leng, Facultad de FilosofíaUniversidad de La LagunaLa Laguna, TenerifeSpain