Abstract
Basic identities of Boolean algebra are considered, and their categorical analogs are proved.
Similar content being viewed by others
REFERENCES
R. Goldblat, Topoi: The Categorial Analysis of Logic [Russian translation], Mir, Moscow (1983).
G. E. Tseitlin, Algebra of Logic and Construction of Programs [in Ukrainian], Naukova Dumka, Kyiv (1994).
P. S. Novikov, Mathematical Logic and Foundations of Mathematics [in Russian], Nauka, Moscow (1973).
E. Mendelson, Introduction to Mathematical Logic [Russian translation], Nauka, Moscow (1976).
I. V. Sergienko,I. N. Parasyuk, andA. I. Provotar, “Some applications of categorical methods in computer science,” Probl. Programmirovaniya, Nos. 1–2, 1–9 (2000).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Provotar, A.I., Kondratenko, V.A. & Dudka, T.N. Boolean Algebra as a Fragment of the Theory of Boolean Toposes. Cybernetics and Systems Analysis 37, 131–137 (2001). https://doi.org/10.1023/A:1016680419897
Issue Date:
DOI: https://doi.org/10.1023/A:1016680419897