Order:
  1.  27
    A Useful Four-Valued Extension of the Temporal Logic KtT4.Vincent Degauquier - 2018 - Bulletin of the Section of Logic 47 (1):15-31.
    The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive and transitive. This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
    This paper deals with predicate logics involving two truth values (here referred to as bivalent logics). Sequent calculi for these logics rely on a general notion of sequent that helps to make the principles of excluded middle and non-contradiction explicit. Several formulations of the redundancy of cut are possible in these sequent calculi. Indeed, four different forms of cut can be distinguished. I prove that only two of them hold for positive sequent calculus (which is both paraconsistent and paracomplete) while (...)
     
    Export citation  
     
    Bookmark   1 citation