Marcelo E. Coniglio

Orcid: 0000-0002-1807-0520

According to our database1, Marcelo E. Coniglio authored at least 52 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.
Stud Logica, June, 2024

2023
Genuine paracomplete logics.
Log. J. IGPL, September, 2023

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE.
CoRR, 2023

2022
Two Decision Procedures for da Costa's C<sub>n</sub> Logics Based on Restricted Nmatrix Semantics.
Stud Logica, 2022

Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.
Rev. Symb. Log., 2022

On the expressive power of Łukasiewicz square operator.
J. Log. Comput., 2022

Valuation Semantics for First-Order Logics of Evidence and Truth.
J. Philos. Log., 2022

Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case.
Log. J. IGPL, 2022

G'<sub>3</sub> as the logic of modal 3-valued Heyting algebras.
FLAP, 2022

2021
Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore.
Rev. Symb. Log., 2021

2020
First-order swap structures semantics for some logics of formal inconsistency.
J. Log. Comput., 2020

Non-deterministic algebraization of logics by swap structures1.
Log. J. IGPL, 2020

Modal logic with non-deterministic semantics: Part I - Propositional case.
Log. J. IGPL, 2020

Recovery operators, paraconsistency and duality.
Log. J. IGPL, 2020

2019
Swap structures semantics for Ivlev-like modal logics.
Soft Comput., 2019

Maximality in finite-valued Łukasiewicz logics defined by order filters.
J. Log. Comput., 2019

Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case.
Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Paracomplete logics which are dual to the paraconsistent logics <i>L3A</i> and <i>L3B</i>.
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2018
Fuzzy Formal Concept Analysis.
Proceedings of the Fuzzy Information Processing, 2018

2017
AGM-like paraconsistent belief change.
Log. J. IGPL, 2017

2016
Paraconsistent set theory by predicating on consistency.
J. Log. Comput., 2016

Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'.
J. Appl. Non Class. Logics, 2016

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics.
Log. J. IGPL, 2016

2015
Finite non-deterministic semantics for some modal systems.
J. Appl. Non Class. Logics, 2015

2014
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.
Stud Logica, 2014

On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency.
Rev. Symb. Log., 2014

Dugundji's Theorem Revisited.
Logica Universalis, 2014

An alternative approach for quasi-truth.
Log. J. IGPL, 2014

Logics of formal inconsistency arising from systems of fuzzy logic.
Log. J. IGPL, 2014

2013
On Discourses Addressed by Infidel Logicians.
Proceedings of the Paraconsistency: Logic and Applications, 2013

Modal Extensions of Sub-classical Logics for Recovering Classical Logic.
Logica Universalis, 2013

2012
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Contracting Logics.
Proceedings of the Logic, Language, Information and Computation, 2012

2011
Preservation by fibring of the finite model property.
J. Log. Comput., 2011

To distribute or not to distribute?
Log. J. IGPL, 2011

2009
New Dimensions on Translations Between Logics.
Logica Universalis, 2009

On Graph-theoretic Fibring of Logics.
J. Log. Comput., 2009

A Graph-theoretic Account of Logics.
J. Log. Comput., 2009

2007
Recovering a Logic from Its Fragments by Meta-Fibring.
Logica Universalis, 2007

Fibring in the Leibniz Hierarchy.
Log. J. IGPL, 2007

2006
Some Results on Ordered Structures in Toposes.
Reports Math. Log., 2006

2005
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.
Log. J. IGPL, 2005

Plain Fibring and Direct Union of Logics with Matrix Semantics.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Combining Conjunction with Disjunction.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Splitting Logics.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004
Editorial.
Log. J. IGPL, 2004

2003
Fibring Logics with Topos Semantics.
J. Log. Comput., 2003

Fibring Non-Truth-Functional Logics: Completeness Preservation.
J. Log. Lang. Inf., 2003

Combining Valuations with Society Semantics.
J. Appl. Non Class. Logics, 2003

2002
Transfers between Logics and their Applications.
Stud Logica, 2002

2001
Modules in the category of sheaves over quantales.
Ann. Pure Appl. Log., 2001

2000
Non-Commutative Topology and Quantales.
Stud Logica, 2000


  Loading...