@MISC{BVFUNC26.MIZ,
  AUTHOR = {Kobayashi, Shunichi},
  TITLE = {Propositional Calculus for Boolean Valued Functions. {P}art {VIII}},
  ACKNOWLEDGEMENT = {This research was partially supported by
  the research funds of the Matsumoto University.},
  DAY = {25},
  MONTH = {September},
  YEAR = {2004},
  ADDRESS1 = {Matsumoto University\\Nagano},
  SUMMARY = {In this paper, we proved some elementary
  propositional calculus formulae for Boolean valued functions.}}

