论文信息 - The completeness and compactness of a three-valued first-order logic

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

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.

I. L. D'Ottaviano

[1] Bede Rundle,et al. AN INTRODUCTION TO MANY‐VALUED LOGICS , 1968 .

[2] N. Rescher. Many Valued Logic , 1969 .

[3] S. Jaskowski. Propositional calculus for contradictory deductive systems , 1969 .

[4] On the problem of Jaskowski and the logic of Lukasiewicz , 1978 .