Logics of Formal Inconsistency W Carnielli, ME Coniglio, J Marcos Handbook of Philosophical Logic 14 (2nd), 1-93, 2007 | 553 | 2007 |
A taxonomy of C-systems WA Carnielli, J Marcos Paraconsistency: The logical way to the inconsistent, 1-94, 2002 | 427* | 2002 |
Formal inconsistency and evolutionary databases WA Carnielli, J Marcos, S de Amo Logic and Logical Philosophy 8 (2), 115-152, 2000 | 183 | 2000 |
Nearly every normal modal logic is paranormal J Marcos Logique et Analyse 48 (189-192), 279-300, 2005 | 105 | 2005 |
Two's company: ``The humbug of many logical values'' C Caleiro, W Carnielli, M Coniglio, J Marcos Logica Universalis: Towards a general theory of logic, 169-189, 2005 | 96 | 2005 |
A logical framework for integrating inconsistent information in multiple databases S de Amo, W Carnielli, J Marcos Foundations of Information and Knowledge Systems, 67-84, 2002 | 86 | 2002 |
Limits for paraconsistent calculi WA Carnielli, J Marcos Notre Dame Journal of Formal Logic 40 (3), 375-390, 1999 | 70 | 1999 |
Ex contradictione non sequitur quodlibet WA Carnielli, J Marcos Bulletin of Advanced Reasoning and Knowledge 1 (1), 89-109, 2001 | 56 | 2001 |
On a problem of da Costa J Marcos Essays on the Foundations of Mathematics and Logic 2, 39-55, 2005 | 48 | 2005 |
Logics of Formal Inconsistency (PhD Thesis) J Marcos Brazil: Fundação Biblioteca Nacional, 2005 | 48 | 2005 |
Logics of essence and accident J Marcos Bulletin of the Section of Logic 34 (1), 43-56, 2005 | 47 | 2005 |
On negation: Pure local rules J Marcos Journal of Applied Logic 3 (1), 185-219, 2005 | 47 | 2005 |
Possible-translations semantics J Marcos Workshop on Combination of Logics: Theory and applications (CombLog'04), 119-128, 2004 | 41 | 2004 |
Tableau systems for logics of formal inconsistency WA Carnielli, J Marcos Proceedings of the International Conference on Artificial Intelligence (IC …, 2001 | 41 | 2001 |
Semânticas de Traduções Possíveis (Possible-Translations Semantics, in Portuguese) J Marcos Master’s thesis, IFCH-UNICAMP, Campinas, Brazil, 2000 | 41* | 2000 |
Possible-translations semantics for some weak classically-based paraconsistent logics J Marcos Journal of Applied Nonclassical Logics 18 (1), 7-28, 2008 | 40 | 2008 |
What is a Non-truth-functional Logic? J Marcos Studia Logica 92 (2), 215-240, 2009 | 38 | 2009 |
An inferentially many-valued two-dimensional notion of entailment C Blasio, J Marcos, H Wansing Bulletin of the Section of Logic 46 (3-4), 233-262, 2017 | 37 | 2017 |
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics C Caleiro, J Marcos, M Volpe Theoretical Computer Science 603, 84-110, 2015 | 37 | 2015 |
The value of the two values J Marcos Logic without Frontiers, 277-294, 2011 | 29 | 2011 |