Order:
See also
Marcelo Coniglio
University of Campinas
  1.  20
    Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing.
    This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  42
    Recovering a Logic From its Fragments by Meta-Fibring.Marcelo Esteban Coniglio - 2007 - Logica Universalis 1 (2):377-416.
    . In this paper we address the question of recovering a logic system by combining two or more fragments of it. We show that, in general, by fibring two or more fragments of a given logic the resulting logic is weaker than the original one, because some meta-properties of the connectives are lost after the combination process. In order to overcome this problem, the categories Mcon and Seq of multiple-conclusion consequence relations and sequent calculi, respectively, are introduced. The main feature (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations