João Marcos

According to our database, João Marcos authored at least 37 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Adding an Implication to Logics of Perfect Paradefinite Algebras.

Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

CoRR, 2023

2022

Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics.

Vitor Greati, João Marcos

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

What is a logical theory? On theories containing assertions and denials.

Carolina Blasio, Carlos Caleiro, João Marcos

Synth., 2021

On Logics of Perfect Paradefinite Algebras.

Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Proof Search on Bilateralist Judgments over Non-deterministic Semantics.

Vitor Greati, Sérgio Marcelino, João Marcos

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Nelson's logic ℒ.

Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks

Log. J. IGPL, 2020

2019

Combining fragments of classical logic: When are interaction principles needed?

Carlos Caleiro, Sérgio Marcelino, João Marcos

Soft Comput., 2019

Semi-BCI Algebras.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro

J. Multiple Valued Log. Soft Comput., 2019

Correction to: Sequent Systems for Negative Modalities.

Ori Lahav, João Marcos, Yoni Zohar

Logica Universalis, 2019

On Herbrand's Theorem for Hybrid Logic.

Diana Costa, Manuel A. Martins, João Marcos

FLAP, 2019

Preface.

Amy P. Felty, João Marcos

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations.

Antonio Diego Silva Farias, Claudio Callejas, João Marcos, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Proceedings of the Fuzzy Techniques: Theory and Applications, 2019

2018

Brasilia Spring on Automated Reasoning.

Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos

ACM SIGLOG News, 2018

Algebraic Semantics for Nelson's Logic <i>S</i> S.

Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks

Proceedings of the Logic, Language, Information, and Computation, 2018

2017

Sequent Systems for Negative Modalities.

Ori Lahav, João Marcos, Yoni Zohar

Logica Universalis, 2017

Merging Fragments of Classical Logic.

Carlos Caleiro, Sérgio Marcelino, João Marcos

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

It ain't necessarily so: Basic sequent systems for negative modalities.

Ori Lahav, João Marcos, Yoni Zohar

Proceedings of the Advances in Modal Logic 11, 2016

2015

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.

Carlos Caleiro, João Marcos, Marco Volpe

Theor. Comput. Sci., 2015

TryLogic tutorial: an approach to Learning Logic by proving and refuting.

Patrick Terrematte, João Marcos

CoRR, 2015

Fail better: What formalized math can teach us about learning.

João Marcos

CoRR, 2015

2014

Clausal Resolution for Modal Logics of Confluence.

Cláudia Nalon, João Marcos, Clare Dixon

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Negative Modalities, Consistency and Determinedness.

Adriano Dodó, João Marcos

Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

On classic-like fuzzy modal logics.

Adriano Dodó, João Marcos, Flaulles Boone Bergamaschi

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2012

Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay.

Carlos Caleiro, João Marcos

J. Multiple Valued Log. Soft Comput., 2012

Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.

Marco Volpe, João Marcos, Carlos Caleiro

Proceedings of the Logic, Language, Information and Computation, 2012

On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication.

Claudio Callejas, João Marcos, Benjamín René Callejas Bedregal

Proceedings of the Logic, Language, Information and Computation, 2012

2011

Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects.

Patrick Terrematte, Fabrício Costa, João Marcos

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2010

Two Many Values: An Algorithmic Outlook on Suszko's Thesis.

Carlos Caleiro, João Marcos

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009

What is a Non-truth-functional Logic?

João Marcos

Stud Logica, 2009

Automatic Generation of Proof Tactics for Finite-Valued Logics

João Marcos

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

Classic-Like Analytic Tableaux for Finite-Valued Logics.

Carlos Caleiro, João Marcos

Proceedings of the Logic, 2009

2008

Possible-translations semantics for some weak classically-based paraconsistent logics.

João Marcos

J. Appl. Non Class. Logics, 2008

Towards Fully Automated Axiom Extraction for Finite-Valued Logics.

João Marcos, Dalmo Mendonca

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2005

A Paraconsistent Decagon.

João Marcos, Diderik Batens, Walter Alexandre Carnielli

J. Appl. Log., 2005

On negation: Pure local rules.

João Marcos

J. Appl. Log., 2005

2002

A Logical Framework for Integrating Inconsistent Information in Multiple Databases.

Sandra de Amo, Walter Alexandre Carnielli, João Marcos

Proceedings of the Foundations of Information and Knowledge Systems, 2002

1999

Limits for Paraconsistent Calculi.

Walter Alexandre Carnielli, João Marcos

Notre Dame J. Formal Log., 1999