Journal of Formalized Mathematics
Volume 15, 2003
University of Bialystok
Copyright (c) 2003 Association of Mizar Users

Propositional Calculus for Boolean Valued Functions. Part VII


Shunichi Kobayashi
Matsumoto University, Nagano

Summary.

In this paper, we proved some elementary propositional calculus formulae for Boolean valued functions.

MML Identifier: BVFUNC25

The terminology and notation used in this paper have been introduced in the following articles [4] [3] [2] [1]

Contents (PDF format)

Acknowledgments

This research was partially supported by the research funds of the University of Matsumoto.

Bibliography

[1] Shunichi Kobayashi and Kui Jia. A theory of Boolean valued functions and partitions. Journal of Formalized Mathematics, 10, 1998.
[2] Andrzej Trybulec. Function domains and Fr\aenkel operator. Journal of Formalized Mathematics, 2, 1990.
[3] Edmund Woronowicz. Interpretation and satisfiability in the first order logic. Journal of Formalized Mathematics, 2, 1990.
[4] Edmund Woronowicz. Many-argument relations. Journal of Formalized Mathematics, 2, 1990.

Received February 6, 2003


[ Download a postscript version, MML identifier index, Mizar home page]