Boolean Algebra as a Fragment of the Theory of Boolean Toposes

  • Authors:

  • A. I. Provotar;V. A. Kondratenko;T. N. Dudka

  • Affiliations:

  • Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine

  • Venue:
  • Cybernetics and Systems Analysis
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Basic identities of Boolean algebra are considered, and their categorical analogs are proved.