Chapter 3 Algebras for Logic

  • Published 2003

Abstract

A Boolean operation is a finitary operation on the set 2 = {0, 1}. In particular, for each natural number n, an n-ary Boolean operation is a function f : 2 → 2, of which there are 2 n such. The two zeroary operations or constants are the truth values 0 and 1. The four unary operations are identity x, negation ¬x, and the two constant operations λa.0 and λa.1. There are 16 binary Boolean operations, 256 ternary operations, and so on.

Cite this paper

@inproceedings{2003Chapter3A, title={Chapter 3 Algebras for Logic}, author={}, year={2003} }