Switch to: References

Add citations

You must login to add citations.
  1. The basic constructive logic for absolute consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation