Four Variable Predicate Calculus for Boolean Valued Functions . Part II

@inproceedings{Kobayashi1999FourVP,
  title={Four Variable Predicate Calculus for Boolean Valued Functions . Part II},
  author={Shunichi Kobayashi},
  year={1999}
}
In this paper, we proved some elementary predicate calculus formulae containing the quantifiers of Boolean valued functions with respect to partitions. Such a theory is an analogy of ordinary predicate logic. [2] provide the notation and terminology for this paper. For simplicity, we adopt the following rules: Y is a non empty set, a is an element of Boolean Y , G is a subset of PARTITIONS(Y), and A, B are partitions of Y. Next we state the proposition [2] Shunichi Kobayashi and Yatsuka… CONTINUE READING