Marcelo Esteban Coniglio
Universidade Estadual de Campinas
H-index: 24
Latin America-Brazil
Top articles of Marcelo Esteban Coniglio
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Ecumenical Propositional Tableau | Studia Logica | Renato Leme Marcelo Coniglio Bruno Lopes Giorgio Venturi | 2024/2/16 |
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE | arXiv preprint arXiv:2308.15426 | Marcelo E Coniglio | 2023/8/25 |
Intuitionism with Truth Tables: A Decision Procedure for IPC Based on RNMatrix | arXiv preprint arXiv:2308.13664 | Renato Leme Marcelo Coniglio Bruno Lopes | 2023/8/25 |
A Category of Ordered Algebras Equivalent to the Category of Multialgebras | Marcelo Esteban Coniglio Guilherme Vicentin de Toledo | 2023/8/16 | |
From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth | Studia Logica | Marcelo E Coniglio Abilio Rodrigues | 2023/8/9 |
Genuine paracomplete logics | Logic Journal of the IGPL | Verónica Borja Macías Marcelo E Coniglio Alejandro Hernández-Tello | 2023/10 |
Normal proofs and tableaux for the Font-Rius tetravalent modal logic | arXiv preprint arXiv:2305.00130 | Marcelo Coniglio Martín Figallo | 2023/4/29 |
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account | The Review of Symbolic Logic | Walter Carnielli Marcelo E Coniglio David Fuenmayor | 2022/9 |
Fibring by functions as a method for combining matrix logics | arXiv preprint arXiv:2212.10615 | Víctor L Fernández Marcelo E Coniglio | 2022/12/20 |
Paradefinite Ivlev-like modal logics based on FDE | BOOK OF ABSTRACTS LIVRO DE RESUMOS | Marcelo E Coniglio | 2022 |
Paraconsistency, evidence, and abduction | A Rodrigues ME Coniglio H Antunes J Bueno-Soler W Carnielli | 2022/6/30 | |
On a four-valued logic of formal inconsistency and formal underterminedness | arXiv preprint arXiv:2212.01677 | Marcelo E Coniglio GT Gomez-Pereira Martín Figallo | 2022/12/3 |
G'3 as the logic of modal 3-valued Heyting algebras | Marcelo E Coniglio Aldo Figallo-Orellano Alejandro Hernández-Tello Miguel Perez-Gaspar | 2022 | |
Two Decision Procedures for da Costa’s Logics Based on Restricted Nmatrix Semantics | Studia Logica | Marcelo E Coniglio Guilherme V Toledo | 2022/6 |
Valuation semantics for first-order logics of evidence and truth | Journal of Philosophical Logic | Henrique Antunes Abilio Rodrigues Walter Carnielli Marcelo E Coniglio | 2022/10 |
On the expressive power of Łukasiewicz square operator | Journal of Logic and Computation | Marcelo E Coniglio Francesc Esteva Tommaso Flaminio Lluis Godo | 2022/6 |
Modal logic with non-deterministic semantics: part II—quantified case | Logic Journal of the IGPL | Marcelo E Coniglio Luis Fariñasdelcerro Newton Marques Peron | 2022/10 |
From inconsistency to incompatibility | arXiv preprint arXiv:2202.10540 | Marcelo Esteban Coniglio Guilherme Vicentin de Toledo | 2022/2/21 |
On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic | arXiv preprint arXiv:2209.12337 | Marcelo E Coniglio Abilio Rodrigues | 2022/9/25 |
Tableau systems for some Ivlev-like (quantified) modal logics | arXiv preprint arXiv:2202.02136 | Marcelo E Coniglio Luis Fariñas del Cerro Newton M Peron | 2022/2/4 |