Publicado

1985-01-01

The completeness and compactness of a three-valued first-order logic

Palabras clave:


Integrity, calculation, values, system, paraconsistent logic (es)

Descargas

Autores/as

  • Itala M. L. D'Ottaviano Universidade Estadual de Campinas

The strong completeness and the compactness of a three-valued first order predicate calculus with two distinguished truth-values are obtained. The system was introduced in Sur un prcb leme de Jaskowski, I .M.L. D.'Ottaviano and N.C. A. da Costa, C.R. Acad.Sc. Paris 270A (1970) , pp.1349-1353, and has several applications, especially in paraconsistent logics.

Descargas

Los datos de descargas todavía no están disponibles.

Licencia

Derechos de autor 1985 Revista Colombiana de Matemáticas

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.