31 citations · 69 across the 27 of their papers we have counts for
6 papers · 1 filter
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…