Compactness theorems for finitely-many-valued sentenial logics

[1]  Peter W. Woodruff.  On compactness in many-valued logic. I , 1973, Notre Dame J. Formal Log..

[2]  J. Bell,et al.  Models and ultraproducts , 1971 .

[3]  Van Fraassen,et al.  Formal semantics and logic , 1971 .