Listar por autor "D'Ottaviano, Itala M. L."
Mostrando documentos 1-1 de 1
-
The completeness and compactness of a three-valued first-order logic
D'Ottaviano, Itala M. L.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 ...Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas.