default search action
Marcelo E. Coniglio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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
Genuine paracomplete logics. Log. J. IGPL 31(5): 961-987 (2023) - [i3]Marcelo E. Coniglio:
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE. CoRR abs/2308.15426 (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
Valuation Semantics for First-Order Logics of Evidence and Truth. J. Philos. Log. 51(5): 1141-1173 (2022) - [j37]Marcelo E. Coniglio
On the expressive power of Łukasiewicz square operator. J. Log. Comput. 32(4): 767-807 (2022) - [j36]Walter Carnielli, Marcelo E. Coniglio
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. Rev. Symb. Log. 15(3): 771-806 (2022) - [j35]Marcelo E. Coniglio
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
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
Modal logic with non-deterministic semantics: Part I - Propositional case. Log. J. IGPL 28(3): 281-315 (2020) - [j32]Walter Carnielli, Marcelo E. Coniglio
Recovery operators, paraconsistency and duality. Log. J. IGPL 28(5): 624-656 (2020) - [j31]Marcelo E. Coniglio
Non-deterministic algebraization of logics by swap structures1. Log. J. IGPL 28(5): 1021-1059 (2020) - [j30]Marcelo E. Coniglio
First-order swap structures semantics for some logics of formal inconsistency. J. Log. Comput. 30(6): 1257-1290 (2020)
2010 – 2019
- 2019
- [j29]Marcelo E. Coniglio
Maximality in finite-valued Łukasiewicz logics defined by order filters. J. Log. Comput. 29(1): 125-156 (2019) - [j28]Marcelo E. Coniglio
Swap structures semantics for Ivlev-like modal logics. Soft Comput. 23(7): 2243-2254 (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
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. LANMR (Selected Papers) 2019: 61-74 - [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) - 2018
- [c6]Abner Brito, Laécio C. Barros, Estevão Laureano Esmi
Fuzzy Formal Concept Analysis. NAFIPS 2018: 192-205 - 2017
- [j27]Rafael R. Testa
AGM-like paraconsistent belief change. Log. J. IGPL 25(4): 632-672 (2017) - 2016
- [j26]Marcelo E. Coniglio
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
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
Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Logics 25(1): 20-45 (2015) - 2014
- [j22]Marcelo Esteban Coniglio
An alternative approach for quasi-truth. Log. J. IGPL 22(2): 387-410 (2014) - [j21]Marcelo E. Coniglio
Logics of formal inconsistency arising from systems of fuzzy logic. Log. J. IGPL 22(6): 880-904 (2014) - [j20]Marcelo E. Coniglio
Dugundji's Theorem Revisited. Logica Universalis 8(3-4): 407-422 (2014) - [j19]Walter Alexandre Carnielli, Marcelo E. Coniglio
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
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Stud Logica 102(3): 525-539 (2014) - 2013
- [j17]Marcelo E. Coniglio
Modal Extensions of Sub-classical Logics for Recovering Classical Logic. Logica Universalis 7(1): 71-86 (2013) - [p1]Walter Alexandre Carnielli, Marcelo E. Coniglio
On Discourses Addressed by Infidel Logicians. Paraconsistency: Logic and Applications 2013: 27-41 - [i1]Marcelo E. Coniglio, Francesc Esteva, Lluís Godo:
Logics of formal inconsistency arising from systems of fuzzy logic. CoRR abs/1307.3667 (2013) - 2012
- [c5]Márcio Moretto Ribeiro
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 - 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
Preservation by fibring of the finite model property. J. Log. Comput. 21(2): 375-402 (2011)
2000 – 2009
- 2009
- [j14]Amílcar Sernadas
A Graph-theoretic Account of Logics. J. Log. Comput. 19(6): 1281-1320 (2009) - [j13]Amílcar Sernadas
On Graph-theoretic Fibring of Logics. J. Log. Comput. 19(6): 1321-1357 (2009) - [j12]Walter Alexandre Carnielli, Marcelo E. Coniglio
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
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. Log. J. IGPL 13(1): 1-3 (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 - 2004
- [j7]Walter Alexandre Carnielli, Marcelo E. Coniglio
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
Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. 12(2): 183-211 (2003) - [j4]Marcelo E. Coniglio
Fibring Logics with Topos Semantics. J. Log. Comput. 13(4): 595-624 (2003) - 2002
- [j3]Marcelo E. Coniglio
Transfers between Logics and their Applications. Stud Logica 72(3): 367-400 (2002) - 2001
- [j2]Marcelo E. Coniglio
Modules in the category of sheaves over quantales. Ann. Pure Appl. Log. 108(1-3): 103-136 (2001) - 2000
- [j1]Marcelo E. Coniglio
Non-Commutative Topology and Quantales. Stud Logica 65(2): 223-236 (2000)
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-10-07 21:15 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: