default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcelo E. Coniglio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j42]Marcelo E. Coniglio
, Abilio Rodrigues:
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth. Stud Logica 112(3): 561-606 (2024)- 2023
- [j41]Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello:
Genuine paracomplete logics. Log. J. IGPL 31(5): 961-987 (2023) - 2022
- [j40]Marcelo Esteban Coniglio, Aldo Figallo Orellano, Alejandro Hernández-Tello, Miguel Pérez-Gaspar:
G'3 as the logic of modal 3-valued Heyting algebras. FLAP 9(1): 175-198 (2022) - [j39]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): 695-727 (2022) - [j38]Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio:
Valuation Semantics for First-Order Logics of Evidence and Truth. J. Philos. Log. 51(5): 1141-1173 (2022) - [j37]Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo:
On the expressive power of Łukasiewicz square operator. J. Log. Comput. 32(4): 767-807 (2022) - [j36]Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor:
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. Rev. Symb. Log. 15(3): 771-806 (2022) - [j35]Marcelo E. Coniglio, Guilherme Vicentin de Toledo:
Two Decision Procedures for da Costa's Cn Logics Based on Restricted Nmatrix Semantics. Stud Logica 110(3): 601-642 (2022) - 2021
- [j34]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): 187-224 (2021) - 2020
- [j33]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): 281-315 (2020) - [j32]Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues:
Recovery operators, paraconsistency and duality. Log. J. IGPL 28(5): 624-656 (2020) - [j31]Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio:
Non-deterministic algebraization of logics by swap structures1. Log. J. IGPL 28(5): 1021-1059 (2020) - [j30]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): 1257-1290 (2020) - 2019
- [j29]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): 125-156 (2019) - [j28]Marcelo E. Coniglio, Ana Claudia Golzio:
Swap structures semantics for Ivlev-like modal logics. Soft Comput. 23(7): 2243-2254 (2019) - 2017
- [j27]Rafael R. Testa, Marcelo E. Coniglio, Márcio Moretto Ribeiro:
AGM-like paraconsistent belief change. Log. J. IGPL 25(4): 632-672 (2017) - 2016
- [j26]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): 288-320 (2016) - [j25]Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron:
Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. J. Appl. Non Class. Logics 26(4): 336-345 (2016) - [j24]Walter Alexandre Carnielli, Marcelo E. Coniglio:
Paraconsistent set theory by predicating on consistency. J. Log. Comput. 26(1): 97-116 (2016) - 2015
- [j23]Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron:
Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Logics 25(1): 20-45 (2015) - 2014
- [j22]Marcelo Esteban Coniglio, Luiz Henrique Da Cruz Silvestrini:
An alternative approach for quasi-truth. Log. J. IGPL 22(2): 387-410 (2014) - [j21]Marcelo E. Coniglio, Francesc Esteva, Lluís Godo:
Logics of formal inconsistency arising from systems of fuzzy logic. Log. J. IGPL 22(6): 880-904 (2014) - [j20]Marcelo E. Coniglio, Newton Marques Peron:
Dugundji's Theorem Revisited. Logica Universalis 8(3-4): 407-422 (2014) - [j19]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): 548-578 (2014) - [j18]Marcelo E. Coniglio, Martín Figallo:
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Stud Logica 102(3): 525-539 (2014) - 2013
- [j17]Marcelo E. Coniglio, Newton Marques Peron:
Modal Extensions of Sub-classical Logics for Recovering Classical Logic. Logica Universalis 7(1): 71-86 (2013) - 2011
- [j16]Jean-Yves Béziau, Marcelo E. Coniglio:
To distribute or not to distribute? Log. J. IGPL 19(4): 566-583 (2011) - [j15]Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas:
Preservation by fibring of the finite model property. J. Log. Comput. 21(2): 375-402 (2011) - 2009
- [j14]Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio:
A Graph-theoretic Account of Logics. J. Log. Comput. 19(6): 1281-1320 (2009) - [j13]Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio:
On Graph-theoretic Fibring of Logics. J. Log. Comput. 19(6): 1321-1357 (2009) - [j12]Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano:
New Dimensions on Translations Between Logics. Logica Universalis 3(1): 1-18 (2009) - 2007
- [j11]Víctor L. Fernández, Marcelo E. Coniglio:
Fibring in the Leibniz Hierarchy. Log. J. IGPL 15(5-6): 475-501 (2007) - [j10]Marcelo E. Coniglio:
Recovering a Logic from Its Fragments by Meta-Fibring. Logica Universalis 1(2): 377-416 (2007) - 2006
- [j9]Luís A. Sbardellini, Marcelo E. Coniglio:
Some Results on Ordered Structures in Toposes. Reports Math. Log. 40: 181-198 (2006) - 2005
- [j8]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): 1-3 (2005) - 2004
- [j7]Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano:
Editorial. Log. J. IGPL 12(6): 431-437 (2004) - 2003
- [j6]Víctor L. Fernández, Marcelo E. Coniglio:
Combining Valuations with Society Semantics. J. Appl. Non Class. Logics 13(1): 21-46 (2003) - [j5]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): 183-211 (2003) - [j4]Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas:
Fibring Logics with Topos Semantics. J. Log. Comput. 13(4): 595-624 (2003) - 2002
- [j3]Marcelo E. Coniglio, Walter Alexandre Carnielli:
Transfers between Logics and their Applications. Stud Logica 72(3): 367-400 (2002) - 2001
- [j2]Marcelo E. Coniglio, Francisco Miraglia:
Modules in the category of sheaves over quantales. Ann. Pure Appl. Log. 108(1-3): 103-136 (2001) - 2000
- [j1]Marcelo E. Coniglio, Francisco Miraglia:
Non-Commutative Topology and Quantales. Stud Logica 65(2): 223-236 (2000)
Conference and Workshop Papers
- 2019
- [c8]Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio:
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B. LANMR 2019: 37-48 - [c7]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: 61-74 - 2018
- [c6]Abner Brito, Laécio C. Barros, Estevão Laureano Esmi, Fábio Bertato, Marcelo E. Coniglio:
Fuzzy Formal Concept Analysis. NAFIPS 2018: 192-205 - 2012
- [c5]Márcio Moretto Ribeiro, Marcelo E. Coniglio:
Contracting Logics. WoLLIC 2012: 268-281 - [c4]Marcelo E. Coniglio, María I. Corbalán:
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics. LSFA 2012: 125-136 - 2005
- [c3]Walter Alexandre Carnielli, Marcelo E. Coniglio:
Splitting Logics. We Will Show Them! (1) 2005: 389-414 - [c2]Marcelo E. Coniglio, Víctor L. Fernández:
Plain Fibring and Direct Union of Logics with Matrix Semantics. IICAI 2005: 1590-1608 - [c1]Jean-Yves Béziau, Marcelo E. Coniglio:
Combining Conjunction with Disjunction. IICAI 2005: 1648-1658
Parts in Books or Collections
- 2013
- [p1]Walter Alexandre Carnielli, Marcelo E. Coniglio:
On Discourses Addressed by Infidel Logicians. Paraconsistency: Logic and Applications 2013: 27-41
Informal and Other Publications
- 2023
- [i3]Marcelo E. Coniglio:
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE. CoRR abs/2308.15426 (2023) - 2019
- [i2]Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio:
First-order swap structures semantics for some Logics of Formal Inconsistency. CoRR abs/1912.10277 (2019) - 2013
- [i1]Marcelo E. Coniglio, Francesc Esteva, Lluís Godo:
Logics of formal inconsistency arising from systems of fuzzy logic. CoRR abs/1307.3667 (2013)
Coauthor Index
aka: Walter Carnielli
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
