Limits for Paraconsistent Calculi. - Walter Alexandre Carnielli; João Marcos 001 (Notre Dame J. Formal Log., 1999)

A Logical Framework for Integrating Inconsistent Information in Multiple Databases. - Sandra de Amo; Walter Alexandre Carnielli; João Marcos 001 (FoIKS, 2002)

On negation: Pure local rules. - João Marcos 001 (J. Appl. Log., 2005)

A Paraconsistent Decagon. - João Marcos 001; Diderik Batens; Walter Alexandre Carnielli (J. Appl. Log., 2005)

Towards Fully Automated Axiom Extraction for Finite-Valued Logics. - João Marcos 001; Dalmo Mendonca (PAAR/ESHOL, 2008)

Possible-translations semantics for some weak classically-based paraconsistent logics. - João Marcos 001 (J. Appl. Non Class. Logics, 2008)

Classic-Like Analytic Tableaux for Finite-Valued Logics. - Carlos Caleiro; João Marcos 001 (WoLLIC, 2009)

Automatic Generation of Proof Tactics for Finite-Valued Logics - João Marcos 001 (RULE, 2009)

What is a Non-truth-functional Logic? - João Marcos 001 (Stud Logica, 2009)

Two Many Values: An Algorithmic Outlook on Suszko's Thesis. - Carlos Caleiro; João Marcos 001 (ISMVL, 2010)

Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects. - Patrick Terrematte; Fabrício Costa; João Marcos 001 (TICTTL, 2011)

On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication. - Claudio Callejas; João Marcos 001; Benjamín René Callejas Bedregal (WoLLIC, 2012)

Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. - Marco Volpe 001; João Marcos 001; Carlos Caleiro (WoLLIC, 2012)

Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay. - Carlos Caleiro; João Marcos 001 (J. Multiple Valued Log. Soft Comput., 2012)

On classic-like fuzzy modal logics. - Adriano Dodó; João Marcos 001; Flaulles Boone Bergamaschi (IFSA/NAFIPS, 2013)

Negative Modalities, Consistency and Determinedness. - Adriano Dodó; João Marcos 001 (IMLA@UNILOG, 2013)

Clausal Resolution for Modal Logics of Confluence. - Cláudia Nalon; João Marcos 001; Clare Dixon (IJCAR, 2014)

Fail better: What formalized math can teach us about learning. - João Marcos 001 (CoRR, 2015)

TryLogic tutorial: an approach to Learning Logic by proving and refuting. - Patrick Terrematte; João Marcos 001 (CoRR, 2015)

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. - Carlos Caleiro; João Marcos 001; Marco Volpe 001 (Theor. Comput. Sci., 2015)

It ain't necessarily so: Basic sequent systems for negative modalities. - Ori Lahav 001; João Marcos 001; Yoni Zohar (Advances in Modal Logic, 2016)

Merging Fragments of Classical Logic. - Carlos Caleiro; Sérgio Marcelino; João Marcos 001 (FroCoS, 2017)

Sequent Systems for Negative Modalities. - Ori Lahav 001; João Marcos 001; Yoni Zohar (Logica Universalis, 2017)

Algebraic Semantics for Nelson's Logic S S. - Thiago Nascimento; Umberto Rivieccio; João Marcos 001; Matthew Spinks (WoLLIC, 2018)

Brasilia Spring on Automated Reasoning. - Cláudia Nalon; Daniele Nantes Sobrinho; Elaine Pimentel; João Marcos 001 (ACM SIGLOG News, 2018)

Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations. - Antonio Diego Silva Farias; Claudio Callejas; João Marcos 001; Benjamín R. C. Bedregal; Regivan H. N. Santiago (IFSA/NAFIPS, 2019)

Preface. - Amy P. Felty; João Marcos 001 (LSFA, 2019)

On Herbrand's Theorem for Hybrid Logic. - Diana Costa 001; Manuel A. Martins 001; João Marcos 001 (FLAP, 2019)

Correction to: Sequent Systems for Negative Modalities. - Ori Lahav 001; João Marcos 001; Yoni Zohar (Logica Universalis, 2019)

Semi-BCI Algebras. - Regivan H. N. Santiago; Benjamín R. C. Bedregal; João Marcos 001; Carlos Caleiro; Jocivania Pinheiro (J. Multiple Valued Log. Soft Comput., 2019)

Combining fragments of classical logic: When are interaction principles needed? - Carlos Caleiro; Sérgio Marcelino; João Marcos 001 (Soft Comput., 2019)

Nelson's logic ℒ. - Thiago Nascimento; Umberto Rivieccio; João Marcos 001; Matthew Spinks (Log. J. IGPL, 2020)

Proof Search on Bilateralist Judgments over Non-deterministic Semantics. - Vitor Greati; Sérgio Marcelino; João Marcos 001 (TABLEAUX, 2021)

On Logics of Perfect Paradefinite Algebras. - Joel Gomes; Vitor Greati; Sérgio Marcelino; João Marcos 001; Umberto Rivieccio (LSFA, 2021)

What is a logical theory? On theories containing assertions and denials. - Carolina Blasio; Carlos Caleiro; João Marcos 001 (Synth., 2021)

Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. - Vitor Greati; João Marcos 001 (IJCAR, 2022)

Adding an implication to logics of perfect paradefinite algebras. - Vitor Greati; Sérgio Marcelino; João Marcos 001; Umberto Rivieccio (Math. Struct. Comput. Sci., 2024)