31 citations · 69 across the 27 of their papers we have counts for
32 papers
Self-extensional logics of formal inconsistency: Decidability and limits for paraconsistency
Marcelo E. Coniglio, Héctor Federico Mallea
RmbC is a self-extensional paraconsistent logic in the family of Logics of Formal Inconsistency (LFIs). This system is obtained from mbC (the basic LFI) by adding the replacement p…
Paraconsistent and paracomplete probabilities: Measuring reliable and unreliable beliefs
Verónica Borja Macias, Marcelo E. Coniglio, Alejandro Hernández-Tello
In this paper, we introduce the study of probability functions based on the 6-valued paradefinite (i.e., paraconsistent and paracomplete) logic LETK+. This logic is a powerful and…
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
M. E. Coniglio, F. Esteva, J. Gispert +1
In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the int…
Hyper swap structures and Kalman functors: the case study of da Costa logic
Marcelo E. Coniglio, Kaique Roberto, Ana Claudia Golzio
In a previous paper, we recast Morgado hyperlattices and Sette implicative hyperlattices in lattice-theoretic terms. By utilizing swap structures induced by implicative lattices, w…
Swap Kripke models for deontic LFIs
Mahan Vaz, Marcelo E. Coniglio
We present a construction of nondeterministic semantics for some deontic logics based on the class of paraconsistent logics known as Logics of Formal Inconsistency (LFIs), for the…
Modal Logics -- RNmatrices vs. Nmatrices
Marcelo E. Coniglio, Paweł Pawłowski, Daniel Skurt
In this short paper we will discuss the similarities and differences between two semantic approaches to modal logics - non-deterministic semantics and restricted non-deterministic…
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
Marcelo E. Coniglio, Martin Figallo, Rafael R. Testa
We further develop the formal foundations of Paraconsistent Belief Revision (PBR) by introducing Logics of Formal Inconsistency (LFIs) specifically designed to support the developm…
Normalization and cut-elimination theorems for some logics of evidence and truth
Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-…
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
Marcelo E. Coniglio
The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with IDM4, a 4-valued expansion of Belnap-Dunn…
A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
Renato Leme, Marcelo Coniglio, Bruno Lopes
Kurt Gödel proved that it is not possible to characterize Intuitionistic Propositional Logic (IPL) by means of finite and deterministic truth-tables. After extending the same resul…
Normal proofs and tableaux for the Font-Rius tetravalent modal logic
Marcelo Coniglio, Martín Figallo
Tetravalent modal logic (T ML) was introduced by Font and Rius in 2000; and it is an expansion of the Belnap-Dunn four{valued logic FOUR, a logical system that is well{known for th…
Fibring by functions as a method for combining matrix logics
Víctor L. Fernández, Marcelo E. Coniglio
We present in this paper an adaptation of the process of combination of logics known as fibring introduced by D. Gabbay. We are focused on the combination of two logics defined by…
On a four-valued logic of formal inconsistency and formal underterminedness
Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
Belnap-Dunn's relevance logic, BD, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or inco…
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Marcelo E. Coniglio, Guilherme V. Toledo
It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Bool…
On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic
Marcelo E. Coniglio, Abilio Rodrigues
The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for th…
From inconsistency to incompatibility
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo
The aim of this article is to generalize logics of formal inconsistency (s) to systems dealing with the concept of incompatibility, expressed by means of a binary con…
Tableau systems for some Ivlev-like (quantified) modal logics
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Ivlev's pioneering work started in the 1970's showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work o…
Restricted swap structures for da Costa's and their category
Marcelo E. Coniglio, Guilherme V. Toledo
In a previous article we introduced the concept of restricted Nmatrices (in short, RNmatrices), which generalize Nmatrices in the following sense: a RNmatrix is a Nmatrix together…
Valuation semantics for first-order logics of evidence and truth (and some related logics)
H. Antunes, A. Rodrigues, W. Carnielli +1
This paper introduces the logic , a quantified extension of the logic of evidence and truth , together with a corresponding sound and complete first-order non-de…
On the expressive power of Lukasiewicz's square operator
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio +1
The aim of the paper is to analyze the expressive power of the square operator of Lukasiewicz logic: , where is the strong Lukasiewicz conjunction. In part…
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke's possible…
Absolutely Free Hyperalgebras
Marcelo E. Coniglio, Guilherme V. Toledo
It is well known from universal algebra that, for every signature , there exist algebras over which are absolutely free, meaning that they do not satisfy any identities or,…
A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics
Marcelo E. Coniglio, Guilherme V. Toledo
Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between and $\…
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
It is customary to expect from a logical system that it can be algebraizable, in the sense that an algebraic companion of the deductive machinery can always be found. Since the inc…