Joao Marcos
Universidade Federal do Rio Grande do Norte
H-index: 22
Latin America-Brazil
Top articles of Joao Marcos
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Adding an Implication to Logics of Perfect Paradefinite Algebras | arXiv preprint arXiv:2309.06764 | Vitor Greati Sérgio Marcelino João Marcos Umberto Rivieccio | 2023/9/13 |
A method for automated generation of exercises with similar level of complexity | Joao Mendes Joao Marcos | 2023/8/6 | |
There will be consequence | João Marcos | 2022/4/22 | |
On Logics of Perfect Paradefinite Algebras | Electronic Proceedings in Theoretical Computer Science | Joel Gomes Vitor Greati Sérgio Marcelino João Marcos Umberto Rivieccio | 2022/4/8 |
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. | Vitor Greati João Marcos | 2022/8/1 | |
Proof search on bilateralist judgments over non-deterministic semantics | Vitor Greati Sérgio Marcelino João Marcos | 2021/8/30 | |
What is a logical theory? On theories containing assertions and denials | Synthese | Carolina Blasio Carlos Caleiro João Marcos | 2021 |
Nelson’s logic ???? | Logic Journal of the IGPL | Thiago Nascimento Umberto Rivieccio João Marcos Matthew Spinks | 2020/12 |