An alternative approach for quasi-truth

  title={An alternative approach for quasi-truth},
  author={Marcelo E. Coniglio and Luiz Henrique Da Cruz Silvestrini},
  journal={Logic Journal of the IGPL},
In 1986, I. Mikenberg, N. da Costa and R. Chuaqui introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present paper, the notion of predicates-as-triples is… CONTINUE READING

From This Paper

Topics from this paper.
4 Citations
19 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 19 references

and S

  • W. A. Carnielli, J. Marcos
  • de Amo, Formal inconsistency and evolutionary…
  • 2000
Highly Influential
4 Excerpts

The concept of quasi-truth

  • O. Bueno, E. G. de Souza
  • Logique & Analyse
  • 1996
Highly Influential
6 Excerpts


  • I. Mikenberg
  • C. A. da Costa, and R. Chuaqui, Pragmatic truth…
  • 1986
Highly Influential
6 Excerpts

A New Approach to the Concept of Quasi-Truth (Uma Nova Abordagem Para a Noção de Quase-Verdade

  • L.H.C. Silvestrini
  • Portuguese), Ph.D. thesis, IFCH-State University…
  • 2011
Highly Influential
3 Excerpts

On the Foundations of Paraconsistent Logic Programming (Sobre os Fundamentos da Programação Lógica Paraconsistente

  • T. Rodrigues
  • Portuguese), Masters thesis, IFCH-State…
  • 2010
1 Excerpt

In contradiction: a study of the transconsistent

  • G. Priest
  • 2 ed., Oxford: Oxford University Press
  • 2006
2 Excerpts

Science and partial truth: a unitary approach to models and scientific

  • N.C.A. da Costa, S. French
  • 2003
2 Excerpts

A taxonomy of C-systems

  • W. A. Carnielli, J. Marcos
  • Paraconsistency - the Logical Way to the…
  • 2002
2 Excerpts

Similar Papers

Loading similar papers…