@MISC{BVFUNC16.MIZ,
  AUTHOR = {Kobayashi, Shunichi},
  TITLE = {Predicate Calculus for Boolean Valued Functions. {P}art {VIII}},
  DAY = {04},
  MONTH = {November},
  YEAR = {1999},
  ADDRESS1 = {Ueda Multimedia Information Center\\Nagano},
  SUMMARY = {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 usual
 predicate logic.}}

