@MISC{BVFUNC10.MIZ,
  AUTHOR = {Kobayashi, Shunichi},
  TITLE = {Propositional Calculus for Boolean Valued Functions. {P}art {VI}},
  DAY = {14},
  MONTH = {July},
  YEAR = {1999},
  ADDRESS1 = {Shinshu University\\Nagano},
  SUMMARY = {In this paper, we proved some elementary propositional calculus
 formulae for Boolean valued functions.}}

