Some investigations on many valued logics
Nobuyoshi Motoháshi · Proceedings of the Japan Academy Series A Mathematical Sciences · 1972
In their book [1], Chang and Keisler developed a study of theories of models with truth values in compact Hausdorff spaces.One of the main reasons why they required some topological properties is that a basic tool used there is the compactness theorem.But, we can develop a study of model theories on logics without compactness properties.In this paper, we shall study logics with truth values in some set X, in which we don't assume any topological properties and some theories of models on these logics by the method developed in [2]-[4].