Browsing by Author "D'Ottaviano, Itala M. L."
Now showing items 1-1 of 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.