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

