Marcelo E. Coniglio

66 papers B 1C 1Journal 55Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency. CoRR Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo
2026	J	`jnl`	Hyper swap structures and Kalman functors: the case study of da Costa logic Cω. Log. J. IGPL Marcelo E. Coniglio, Kaique Matias de Andrade Roberto, Ana Claudia Golzio
2025	J	`jnl`	Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on FDE. Stud Logica Marcelo E. Coniglio
2025	J	`jnl`	Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures. Stud Logica Marcelo E. Coniglio
2025	J	`jnl`	Normalization and cut-elimination theorems for some logics of evidence and truth. J. Log. Comput. Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues
2025	J	`jnl`	On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions. Log. J. IGPL Joan Gispert, Francesc Esteva, Lluís Godo, Marcelo E. Coniglio
2025	J	`jnl`	On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness. Stud Logica Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
2025	J	`jnl`	On n-valued Post algebras and n-valued Post logics: Twist-style representation and proof theory. Fuzzy Sets Syst. Marcelo E. Coniglio, Martín Figallo
2025	J	`jnl`	Rnmatrices for Modal Logics. Rev. Symb. Log. Marcelo E. Coniglio, Pawel Pawlowski, Daniel Skurt
2025	J	`jnl`	Swap Kripke models for deontic LFIs. CoRR Mahan Vaz, Marcelo E. Coniglio
2025	J	`jnl`	The Modal Cube Revisited: Semantics without Worlds. CoRR Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo E. Coniglio
2024	J	`jnl`	A Logic for Paraconsistent Belief Revision based on Epistemic Entrenchment. CoRR Marcelo E. Coniglio, Martín Figallo, Rafael R. Testa
2024	J	`jnl`	From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth. Stud Logica Marcelo E. Coniglio, Abilio Rodrigues
2024	B	`conf`	Many-Logic Modal Structures Based on the Lattice L6: A First Look. SEFM Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Freire
2024	—	`conf`	Modal Logics - RNmatrices vs. Nmatrices. NCL Marcelo E. Coniglio, Pawel Pawlowski, Daniel Skurt
2023	J	`jnl`	Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE. CoRR Marcelo E. Coniglio
2023	J	`jnl`	Genuine paracomplete logics. Log. J. IGPL Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello
2022	J	`jnl`	Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. Rev. Symb. Log. Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
2022	J	`jnl`	Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. Log. J. IGPL Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
2022	J	`jnl`	On the expressive power of Łukasiewicz square operator. J. Log. Comput. Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
2022	J	`jnl`	Two Decision Procedures for da Costa's C Stud Logica Marcelo E. Coniglio, Guilherme Vicentin de Toledo
2022	J	`jnl`	Valuation Semantics for First-Order Logics of Evidence and Truth. J. Philos. Log. Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio
2021	J	`jnl`	Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore. Rev. Symb. Log. Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
2020	J	`jnl`	First-order swap structures semantics for some logics of formal inconsistency. J. Log. Comput. Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio
2020	J	`jnl`	Modal logic with non-deterministic semantics: Part I - Propositional case. Log. J. IGPL Marcelo E. Coniglio, Luis Fariñas del Cerro, Marques Peron Newton
2020	J	`jnl`	Non-deterministic algebraization of logics by swap structures1. Log. J. IGPL Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio
2020	J	`jnl`	Recovery operators, paraconsistency and duality. Log. J. IGPL Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues
2019	J	`jnl`	First-order swap structures semantics for some Logics of Formal Inconsistency. CoRR Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio
2019	J	`jnl`	Maximality in finite-valued Łukasiewicz logics defined by order filters. J. Log. Comput. Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo
2019	—	`conf`	Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. LANMR (Selected Papers) Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
2019	—	`conf`	Paracomplete logics which are dual to the paraconsistent logics LANMR Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
2019	J	`jnl`	Swap structures semantics for Ivlev-like modal logics. Soft Comput. Marcelo E. Coniglio, Ana Claudia Golzio
2018	—	`conf`	Fuzzy Formal Concept Analysis. NAFIPS Abner Brito, Laécio C. Barros, Estevão Laureano Esmi, Fábio Bertato, Marcelo E. Coniglio
2017	J	`jnl`	AGM-like paraconsistent belief change. Log. J. IGPL Rafael R. Testa, Marcelo E. Coniglio, Márcio Moretto Ribeiro
2016	J	`jnl`	Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. J. Appl. Non Class. Logics Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
2016	J	`jnl`	On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics. Log. J. IGPL Marcelo E. Coniglio, Francesc Esteva, Lluís Godo
2016	J	`jnl`	Paraconsistent set theory by predicating on consistency. J. Log. Comput. Walter Alexandre Carnielli, Marcelo E. Coniglio
2015	J	`jnl`	Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Logics Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
2014	J	`jnl`	Dugundji's Theorem Revisited. Logica Universalis Marcelo E. Coniglio, Newton Marques Peron
2014	J	`jnl`	Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Stud Logica Marcelo E. Coniglio, Martín Figallo
2014	J	`jnl`	Logics of formal inconsistency arising from systems of fuzzy logic. Log. J. IGPL Marcelo E. Coniglio, Francesc Esteva, Lluís Godo
2014	J	`jnl`	On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency. Rev. Symb. Log. Walter Alexandre Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki, Tarcísio Rodrigues
2013	J	`jnl`	Logics of formal inconsistency arising from systems of fuzzy logic. CoRR Marcelo E. Coniglio, Francesc Esteva, Lluís Godo
2013	J	`jnl`	Modal Extensions of Sub-classical Logics for Recovering Classical Logic. Logica Universalis Marcelo E. Coniglio, Newton Marques Peron
2013	—	`ch.`	On Discourses Addressed by Infidel Logicians. Paraconsistency: Logic and Applications Walter Alexandre Carnielli, Marcelo E. Coniglio
2012	C	`conf`	Contracting Logics. WoLLIC Márcio Moretto Ribeiro, Marcelo E. Coniglio
2012	—	`conf`	Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics LSFA Marcelo E. Coniglio, María I. Corbalán
2011	J	`jnl`	Preservation by fibring of the finite model property. J. Log. Comput. Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2011	J	`jnl`	To distribute or not to distribute? Log. J. IGPL Jean-Yves Béziau, Marcelo E. Coniglio
2009	J	`jnl`	A Graph-theoretic Account of Logics. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
2009	J	`jnl`	New Dimensions on Translations Between Logics. Logica Universalis Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
2009	J	`jnl`	On Graph-theoretic Fibring of Logics. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
2007	J	`jnl`	Fibring in the Leibniz Hierarchy. Log. J. IGPL Víctor L. Fernández, Marcelo E. Coniglio
2007	J	`jnl`	Recovering a Logic from Its Fragments by Meta-Fibring. Logica Universalis Marcelo E. Coniglio
2006	J	`jnl`	Some Results on Ordered Structures in Toposes. Reports Math. Log. Luís A. Sbardellini, Marcelo E. Coniglio
2005	J	`jnl`	An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. Log. J. IGPL Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
2005	—	`conf`	Combining Conjunction with Disjunction. IICAI Jean-Yves Béziau, Marcelo E. Coniglio
2005	—	`conf`	Plain Fibring and Direct Union of Logics with Matrix Semantics. IICAI Marcelo E. Coniglio, Víctor L. Fernández
2005	—	`conf`	Splitting Logics. We Will Show Them! (1) Walter Alexandre Carnielli, Marcelo E. Coniglio
2004	J	`jnl`	Editorial. Log. J. IGPL Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
2003	J	`jnl`	Combining Valuations with Society Semantics. J. Appl. Non Class. Logics Víctor L. Fernández, Marcelo E. Coniglio
2003	J	`jnl`	Fibring Logics with Topos Semantics. J. Log. Comput. Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2003	J	`jnl`	Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2002	J	`jnl`	Transfers between Logics and their Applications. Stud Logica Marcelo E. Coniglio, Walter Alexandre Carnielli
2001	J	`jnl`	Modules in the category of sheaves over quantales. Ann. Pure Appl. Log. Marcelo E. Coniglio, Francisco Miraglia
2000	J	`jnl`	Non-Commutative Topology and Quantales. Stud Logica Marcelo E. Coniglio, Francisco Miraglia