4 papers
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…
Super-Łukasiewicz logics expanded by
Aldo V. Figallo, Aldo Figallo-Orellano, Martín Figallo
Baaz's operator was introduced (by Baaz) in order to extend Gödel logics, after that this operator was used to expand fuzzy logics by Hájek in his celebrated book. These logics…
Cut--free sequent calculus and natural deduction for the tetravalent modal logic
Martín Figallo
The {\em tetravalent modal logic} () is one of the two logics defined by Font and Rius (\cite{FR2}) (the other is the {\em normal tetravalent modal logic} )…
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
Marcelo E. Coniglio, Tadeo G. Gomez, Martin Figallo
In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which…