Logics of Formal Inconsistency W Carnielli, ME Coniglio, J Marcos
Handbook of Philosophical Logic 14 (2nd), 1-93, 2007
540 2007 A taxonomy of C-systems WA Carnielli, J Marcos
Paraconsistency: The logical way to the inconsistent, 1-94, 2002
414 * 2002 Formal inconsistency and evolutionary databases WA Carnielli, J Marcos, S de Amo
Logic and Logical Philosophy 8 (2), 115-152, 2000
177 2000 Nearly every normal modal logic is paranormal J Marcos
Logique et Analyse 48 (189-192), 279-300, 2005
102 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
101 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
83 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
55 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
46 2005 On negation: Pure local rules J Marcos
Journal of Applied Logic 3 (1), 185-219, 2005
46 2005 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
39 2009 Possible-translations semantics J Marcos
Workshop on Combination of Logics: Theory and applications (CombLog'04), 119-128, 2004
39 2004 Tableau systems for logics of formal inconsistency WA Carnielli, J Marcos
Proceedings of the International Conference on Artificial Intelligence (IC …, 2001
39 2001 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
28 2011 Modality and paraconsistency J Marcos
The Logica Yearbook, 213-222, 2004
28 2004 8K solutions and semi-solutions to a problem of da Costa J Marcos
2nd World Congress on Paraconsistent Logic. Draft, 2000
24 2000 Classic-like analytic tableaux for finite-valued logics C Caleiro, J Marcos
Workshop on Logic, Language, Information and Computation, 268-280, 2009
21 2009 Suszko’s Thesis and dyadic semantics C Caleiro, WA Carnielli, ME Coniglio, J Marcos
Preprint available at: http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM …, 2003
20 2003 Ineffable inconsistencies J Marcos
Handbook of Paraconsistency, 301-311, 2007
18 2007 Negative modalities, consistency and determinedness A Dodó, J Marcos
Electronic Notes in Theoretical Computer Science 300, 21-45, 2014
17 2014 Dyadic semantics for many-valued logics C Caleiro, WA Carnielli, ME Coniglio, J Marcos
Preprint available at: http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM …, 2003
16 2003 Sequent systems for negative modalities O Lahav, J Marcos, Y Zohar
Logica Universalis 11, 345-382, 2017
15 2017 How many logical values are there? C Caleiro, WA Carnielli, ME Coniglio, J Marcos
Draft, 2005
12 * 2005 Non-truth-functional fibred semantics C Caleiro, J Marcos
International Conference on Artificial Intelligence (IC-AI’2001) 2, 841-847, 2001
11 2001 Clausal resolution for modal logics of confluence C Nalon, J Marcos, C Dixon
Automated Reasoning: Proceedings of the 7th International Joint Conference …, 2014
10 2014 Automatic generation of proof tactics for finite-valued logics J Marcos
Electronic Proceedings in Theoretical Computer Science, arXiv:1003.4802 21 …, 2010
10 2010 Towards fully automated axiom extraction for finite-valued logics J Marcos, D Mendonça
The Many Sides of Logic, 425-440, 2009
10 2009 On some subclasses of the Fodor-Roubens fuzzy bi-implication C Callejas, J Marcos, BRC Bedregal
Workshop on Logic, Language, Information and Computation, 206-215, 2012
9 2012 What is a logical theory? On theories containing assertions and denials C Blasio, C Caleiro, J Marcos
Synthese 198, 5481–5504, 2021
8 2021 Combining fragments of classical logic: When are interaction principles needed? C Caleiro, S Marcelino, J Marcos
Soft Computing 23 (7), 2213-2231, 2019
8 2019 Algebraic semantics for Nelson’s Logic T Nascimento, U Rivieccio, J Marcos, M Spinks
International Workshop on Logic, Language, Information, and Computation, 271-288, 2018
8 2018 Many values, many semantics J Marcos
Preprint, 2000
8 * 2000 Proof search on bilateralist judgments over non-deterministic semantics V Greati, S Marcelino, J Marcos
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
7 2021 Nelson’s logic 𝒮 T Nascimento, U Rivieccio, J Marcos, M Spinks
Logic Journal of the IGPL 28 (6), 1182-1206, 2020
7 2020 Actions of automorphisms on some classes of fuzzy bi-implications C Callejas, J Marcos, BRC Bedregal
Mathware & Soft Computing Magazine 20 (1), 94-97, 2013
7 2013 Many-valuedness meets bivalence: Using logical values in an effective way C Caleiro, J Marcos
Journal of Multiple-Valued Logic and Soft Computing 19 (5-6), 51-70, 2012
7 2012 On Logics of Perfect Paradefinite Algebras J Gomes, V Greati, S Marcelino, J Marcos, U Rivieccio
Electronic Proceedings in Theoretical Computer Science 357, 56-76, 2022
5 2022 Semi-BCI Algebras RHN Santiago, B Bedregal, J Marcos, C Caleiro, J Pinheiro
Journal of Multiple-Valued Logic and Soft Computing 32 (1-2), 87-109, 2019
5 2019 Merging fragments of classical logic C Caleiro, S Marcelino, J Marcos
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017 …, 2017
5 2017 (Wittgenstein & Paraconsistência) J Marcos
Principia: an international journal of epistemology 14 (1), 135-173, 2010
5 2010 Two Many Values: An algorithmic outlook on Suszko's Thesis C Caleiro, J Marcos
International Symposium on Multiple-Valued Logic (ISMVL), 93-97, 2010
5 2010 Classical resolution for many-valued logics J Marcos, C Nalon
Electronic Notes in Theoretical Computer Science 323, 253-270, 2016
4 2016 On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions G Badia, J Marcos
Algebra universalis 79, 1-14, 2018
3 2018 It ain't necessarily so: Basic sequent systems for negative modalities O Lahav, J Marcos, Y Zohar
Advances in Modal Logic 11, 449-468, 2016
3 2016 Fuzzy modal logics of confluence AA Dodó, J Marcos
II Congresso Brasileiro de Sistemas Fuzzy, 328-337, 2012
3 2012 Classic-like cut-based tableau systems for finite-valued logics M Volpe, J Marcos, C Caleiro
Workshop on Logic, Language, Information and Computation, 321-335, 2012
3 2012 Logicamente: a virtual learning environment for logic based on learning objects P Terrematte, F Costa, J Marcos
International Congress on Tools for Teaching Logic, 223-230, 2011
3 2011 Defining and using deductive systems with Isabelle FM Dionísio, P Gouveia, J Marcos
Computing, Philosophy, and Cognition, 271-293, 2005
3 2005 TryLogic Tutorial: An approach to learning Logic by proving and refuting P Terrematte, J Marcos
4th International Conference on Tools for Teaching Logic (TTL 2015), 241-249, 2015
2 2015 On B-entailment C Blasio, C Caleiro, J Marcos
Bulletin of Symbolic Logic 20 (2), 223-224, 2014
2 2014 On classic-like fuzzy modal logics A Dodó, J Marcos, FB Bergamaschi
IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013 Joint …, 2013
2 2013 Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics D Mendonça, J Marcos
CLE e-Prints 8 (6), 2008
2 2008 Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. V Greati, J Marcos
IJCAR, 640-658, 2022
1 2022 On Herbrand's Theorem for Hybrid Logic D Costa, MA Martins, J Marcos
Journal of Applied Logics 6 (3), 209-227, 2019
1 2019 Fail Better: What formalized math can teach us about learning J Marcos
4th International Conference on Tools for Teaching Logic (TTL 2015), 127-136, 2015
1 2015 Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability P Terrematte, J Marcos
Anais do Simpósio Brasileiro de Informática na Educação 24 (1), 967-971, 2013
1 2013 Implementação de um gerador e verificador de modelos finitos para a Lógica Clássica de Primeira Ordem G Vilela, M Rosan, J Marcos
VIII ERMAC, 2008
1 2008 Editorial: A Paraconsistent Decagon J Marcos, D Batens, W Carnielli
Journal of Applied Logic 3 (1), 1-5, 2005
1 * 2005 Overture: Paraconsistent Logics J Marcos
Workshop on Paraconsistent Logic (WoPaLo), 2002
1 * 2002 Proceedings 12th International Workshop on Theorem proving components for Educational software J Narboux, W Neuper, P Quaresma
Electronic Proceedings in Theoretical Computer Science 400, 2024
2024 Adding an Implication to Logics of Perfect Paradefinite Algebras V Greati, S Marcelino, J Marcos, U Rivieccio
arXiv preprint arXiv:2309.06764, 2023
2023 A method for automated generation of exercises with similar level of complexity J Mendes, J Marcos
Anais do IV Workshop Brasileiro de Lógica, 17-24, 2023
2023 There will be consequence J Marcos
Organizers and Programme Committee, 69, 2022
2022 A pedagogical experiment with semantic-oriented refutation systems for a two-sorted first-order logic of graphs J Mendes, J Marcos, U Costa
Book of Abstracts - 20th Brazilian Logic Conference, 190, 2022
2022 Finite and analytic proof systems for non-finitely axiomatizable logics V Greati, J Marcos
Book of Abstracts - 20th Brazilian Logic Conference, 123, 2022
2022 Os nomes próprios têm sentido e referência? J Marcos
Arley Morenum liber amicorum, 244-271, 2020
2020 Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations ADS Farias, C Callejas, J Marcos, B Bedregal, R Santiago
Fuzzy Techniques: Theory and Applications: Proceedings of the 2019 Joint …, 2019
2019 Brasilia Spring on Automated Reasoning C Nalon, DN Sobrinho, E Pimentel, J Marcos
ACM SIGLOG News 5 (1), 21-22, 2018
2018 A Herbrand-like theorem for hybrid logic D Costa, MA Martins, J Marcos
Days in Logic 2018, 11, 2018
2018 Towards a Herbrand’s Theorem for Hybrid Logic D Costa, MA Martins, J Marcos
Advances in Modal Logic 11, 2016
2016 Logics for discussion, and for agreement C Blasio, J Marcos
Bulletin of Symbolic Logic 20 (3), 386, 2014
2014 Logical Agency: consulting instead of collecting C Blasio, J Marcos
TURING, 12, 2012
2012 Proof complexity and analytic cuts in finite-valued logics CG Fermüller, J Marcos
2010 Simulating negation in positive logic J Marcos
Bulletin of Symbolic Logic 16 (1), 126, 2010
2010 Truth-Functionality (Tutorial) J Marcos
UniLog 2010 Book of Abstracts, 2010
2010 A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica TM Barros, A Araújo, J Marcos
VIII ERMAC, 2008
2008 Generalizing truth-functionality J Marcos
Bulletin of Symbolic Logic 12 (3), 511-511, 2006
2006 Multiple-Conclusion Logics (Tutorial) J Marcos
1st World School on Universal Logic, Montreux, CH, 2005
2005 Recentes Avanços em Sistemas “Fuzzy” B Bedregal, J Marcos, LC de Barros, JAF Roveda, RHN Santiago, ...
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
