Marcelo E. Coniglio

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 24

Top Topics

Expressive Power

Top Venues

J. Log. Comput.

Rev. Symb. Log.

Publications

Marcelo E. Coniglio, Abilio Rodrigues
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth. Stud Logica 112 (3) (2024)
Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello
Genuine paracomplete logics. Log. J. IGPL 31 (5) (2023)
Marcelo E. Coniglio
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE. CoRR (2023)
Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio
Valuation Semantics for First-Order Logics of Evidence and Truth. J. Philos. Log. 51 (5) (2022)
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. Rev. Symb. Log. 15 (3) (2022)
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
On the expressive power of Łukasiewicz square operator. J. Log. Comput. 32 (4) (2022)
Marcelo E. Coniglio, Guilherme V. Toledo
Logics Based on Restricted Nmatrix Semantics. Stud Logica 110 (3) (2022)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. Log. J. IGPL 30 (5) (2022)
Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore. Rev. Symb. Log. 14 (1) (2021)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Marques Peron Newton
Modal logic with non-deterministic semantics: Part I - Propositional case. Log. J. IGPL 28 (3) (2020)
Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio
Non-deterministic algebraization of logics by swap structures1. Log. J. IGPL 28 (5) (2020)
Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio
First-order swap structures semantics for some logics of formal inconsistency. J. Log. Comput. 30 (6) (2020)
Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues
Recovery operators, paraconsistency and duality. Log. J. IGPL 28 (5) (2020)
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. LANMR (Selected Papers) (2019)
Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio
First-order swap structures semantics for some Logics of Formal Inconsistency. CoRR (2019)
Marcelo E. Coniglio, Ana Claudia Golzio
Swap structures semantics for Ivlev-like modal logics. Soft Comput. 23 (7) (2019)
Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo
Maximality in finite-valued Łukasiewicz logics defined by order filters. J. Log. Comput. 29 (1) (2019)
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
. LANMR (2019)
Abner Brito, Laécio C. Barros, Estevão Laureano Esmi, Fábio Bertato, Marcelo E. Coniglio
Fuzzy Formal Concept Analysis. NAFIPS (2018)
Rafael R. Testa, Marcelo E. Coniglio, Márcio Moretto Ribeiro
AGM-like paraconsistent belief change. Log. J. IGPL 25 (4) (2017)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. J. Appl. Non Class. Logics 26 (4) (2016)
Walter Alexandre Carnielli, Marcelo E. Coniglio
Paraconsistent set theory by predicating on consistency. J. Log. Comput. 26 (1) (2016)
Marcelo E. Coniglio, Francesc Esteva, Lluís Godo
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics. Log. J. IGPL 24 (3) (2016)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Logics 25 (1) (2015)
Marcelo E. Coniglio, Francesc Esteva, Lluís Godo
Logics of formal inconsistency arising from systems of fuzzy logic. Log. J. IGPL 22 (6) (2014)
Walter Alexandre Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki, Tarcísio Rodrigues
On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency. Rev. Symb. Log. 7 (3) (2014)
Marcelo E. Coniglio, Martín Figallo
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Stud Logica 102 (3) (2014)
Marcelo E. Coniglio, Newton M. Peron
Dugundji's Theorem Revisited. Logica Universalis 8 (3-4) (2014)
Marcelo E. Coniglio, Newton M. Peron
Modal Extensions of Sub-classical Logics for Recovering Classical Logic. Logica Universalis 7 (1) (2013)
Marcelo E. Coniglio, Francesc Esteva, Lluís Godo
Logics of formal inconsistency arising from systems of fuzzy logic. CoRR (2013)
Marcelo E. Coniglio, María I. Corbalán
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics LSFA (2012)
Márcio Moretto Ribeiro, Marcelo E. Coniglio
Contracting Logics. WoLLIC (2012)
Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Preservation by fibring of the finite model property. J. Log. Comput. 21 (2) (2011)
Jean-Yves Béziau, Marcelo E. Coniglio
To distribute or not to distribute? Log. J. IGPL 19 (4) (2011)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
A Graph-theoretic Account of Logics. J. Log. Comput. 19 (6) (2009)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
On Graph-theoretic Fibring of Logics. J. Log. Comput. 19 (6) (2009)
Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
New Dimensions on Translations Between Logics. Logica Universalis 3 (1) (2009)
Marcelo E. Coniglio
Recovering a Logic from Its Fragments by Meta-Fibring. Logica Universalis 1 (2) (2007)
Víctor L. Fernández, Marcelo E. Coniglio
Fibring in the Leibniz Hierarchy. Log. J. IGPL 15 (5-6) (2007)
Luís A. Sbardellini, Marcelo E. Coniglio
Some Results on Ordered Structures in Toposes. Reports Math. Log. 40 (2006)
Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. Log. J. IGPL 13 (1) (2005)
Jean-Yves Béziau, Marcelo E. Coniglio
Combining Conjunction with Disjunction. IICAI (2005)
Walter Alexandre Carnielli, Marcelo E. Coniglio
Splitting Logics. We Will Show Them! (1) (2005)
Marcelo E. Coniglio, Víctor L. Fernández
Plain Fibring and Direct Union of Logics with Matrix Semantics. IICAI (2005)
Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
Editorial. Log. J. IGPL 12 (6) (2004)
Víctor L. Fernández, Marcelo E. Coniglio
Combining Valuations with Society Semantics. J. Appl. Non Class. Logics 13 (1) (2003)
Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Fibring Logics with Topos Semantics. J. Log. Comput. 13 (4) (2003)
Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. 12 (2) (2003)
Marcelo E. Coniglio, Walter Alexandre Carnielli
Transfers between Logics and their Applications. Stud Logica 72 (3) (2002)
Marcelo E. Coniglio, Francisco Miraglia
Modules in the category of sheaves over quantales. Ann. Pure Appl. Log. 108 (1-3) (2001)
Marcelo E. Coniglio, Francisco Miraglia
Non-Commutative Topology and Quantales. Stud Logica 65 (2) (2000)