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.

Visitas a la página del resumen del artículo

350

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

D'Ottaviano, I. M. L. (1985). The completeness and compactness of a three-valued first-order logic. Revista Colombiana De Matemáticas, 19(1-2), 77-94. https://revistas.unal.edu.co/index.php/recolma/article/view/32585

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.