Switch to: References

Citations of:

Cuts, Gluts and Gaps

Logique Et Analyse 55 (218):229-240 (2012)

Add citations

You must login to add citations.
  1. Partial and Paraconsistent Three-Valued Logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
    On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives. This article aims, firstly, to provide both a model-theoretic and a proof-theoretic unified framework for these logics and, secondly, to apply these general frameworks to several well-known three-valued logics. The proof-theoretic approach to which we give preference is sequent calculus. In this perspective, several results concerning the properties of (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation