On the II $\varepsilon$-theorem for mixed-valued predicate calculi


Gradimir D. Vojvodić




In this paper, we give the proof of the II $\varepsilon$-theorem for mixed-valued predicate calculi as was suggested by H. Rasiowa in [2].