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.