دنبال کردن
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