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…