The Basic Constructive Logic for Absolute Consistency
- First Online:
- 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
- 41 Downloads
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.