## A Theory of Boolean Valued Functions and Partitions

- Shunichi Kobayashi, Nagano Kui Jia
- 1998

@inproceedings{Kobayashi1999FourVP, title={Four Variable Predicate Calculus for Boolean Valued Functions . Part II}, author={Shunichi Kobayashi}, year={1999} }

- Published 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