On the Calculus of Binary Arithmetics

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

On the Calculus of Binary Arithmetics

Shunichi Kobayashi: Matsumoto University, Nagano

Summary.

In this paper, we have binary arithmetic and its related operations. We include some theorems concerning logical operators.

MML Identifier: BINARI_5

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

Contents (PDF format)

Acknowledgments

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

Bibliography

[1] Shunichi Kobayashi and Kui Jia. A theory of Boolean valued functions and partitions. Journal of Formalized Mathematics, 10, 1998.

[2] Takaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Journal of Formalized Mathematics, 5, 1993.

[3] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.

[4] Edmund Woronowicz. Many-argument relations. Journal of Formalized Mathematics, 2, 1990.

Received August 23, 2003

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