ติดตาม
Joao Marcos
Joao Marcos
Federal University of Santa Catarina (UFSC), Brazil
ยืนยันอีเมลแล้วที่ ufsc.br - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
Logics of Formal Inconsistency
W Carnielli, ME Coniglio, J Marcos
Handbook of Philosophical Logic 14 (2nd), 1-93, 2007
5722007
A taxonomy of C-systems
WA Carnielli, J Marcos
Paraconsistency: The logical way to the inconsistent, 1-94, 2002
441*2002
Formal inconsistency and evolutionary databases
WA Carnielli, J Marcos, S de Amo
Logic and Logical Philosophy 8 (2), 115-152, 2000
1902000
Nearly every normal modal logic is paranormal
J Marcos
Logique et Analyse 48 (189-192), 279-300, 2005
1092005
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
972005
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
892002
Limits for paraconsistent calculi
WA Carnielli, J Marcos
Notre Dame Journal of Formal Logic 40 (3), 375-390, 1999
741999
Ex contradictione non sequitur quodlibet
WA Carnielli, J Marcos
Bulletin of Advanced Reasoning and Knowledge 1 (1), 89-109, 2001
562001
On a problem of da Costa
J Marcos
Essays on the Foundations of Mathematics and Logic 2, 39-55, 2005
532005
Logics of essence and accident
J Marcos
Bulletin of the Section of Logic 34 (1), 43-56, 2005
512005
Logics of Formal Inconsistency (PhD Thesis)
J Marcos
Brazil: Fundação Biblioteca Nacional, 2005
512005
On negation: Pure local rules
J Marcos
Journal of Applied Logic 3 (1), 185-219, 2005
482005
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
432017
Semânticas de Traduções Possíveis (Possible-Translations Semantics, in Portuguese)
J Marcos
Master’s thesis, IFCH-UNICAMP, Campinas, Brazil, 2000
43*2000
What is a Non-truth-functional Logic?
J Marcos
Studia Logica 92 (2), 215-240, 2009
412009
Possible-translations semantics
J Marcos
Workshop on Combination of Logics: Theory and applications (CombLog'04), 119-128, 2004
412004
Tableau systems for logics of formal inconsistency
WA Carnielli, J Marcos
Proceedings of the International Conference on Artificial Intelligence (IC …, 2001
412001
Possible-translations semantics for some weak classically-based paraconsistent logics
J Marcos
Journal of Applied Nonclassical Logics 18 (1), 7-28, 2008
402008
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
382015
The value of the two values
J Marcos
Logic Without Frontiers, 277-294, 2011
322011
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20