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

Itala M. L. D'Ottaviano

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

PDF

Autores/as

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

Resumen (en)

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.

Cómo citar

APA

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

ACM

[1]

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 (ene. 1985), 77–94.

ACS

(1)

D'Ottaviano, I. M. L. The completeness and compactness of a three-valued first-order logic. rev.colomb.mat 1985, 19, 77-94.

ABNT

D'OTTAVIANO, I. M. L. The completeness and compactness of a three-valued first-order logic. Revista Colombiana de Matemáticas, [S. l.], v. 19, n. 1-2, p. 77–94, 1985. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32585. Acesso em: 28 dic. 2025.

Chicago

D'Ottaviano, Itala 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.

Harvard

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), pp. 77–94. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32585 (Accedido: 28 diciembre 2025).

IEEE

[1]

I. M. L. D'Ottaviano, «The completeness and compactness of a three-valued first-order logic», rev.colomb.mat, vol. 19, n.º 1-2, pp. 77–94, ene. 1985.

MLA

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

Turabian

D'Ottaviano, Itala M. L. «The completeness and compactness of a three-valued first-order logic». Revista Colombiana de Matemáticas 19, no. 1-2 (enero 1, 1985): 77–94. Accedido diciembre 28, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32585.

Vancouver

1.

D'Ottaviano IML. The completeness and compactness of a three-valued first-order logic. rev.colomb.mat [Internet]. 1 de enero de 1985 [citado 28 de diciembre de 2025];19(1-2):77-94. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32585