Classical Bivalent Logic as a Particular Case of Canonical Fuzzy Logic

Abstract

A review is presented of the correspondence existing in both classical bivalent logic (BL) and canonical fuzzy logic (CFL) between each law or tautology in propositional calculus and a law in set theory. The latter law consists of the equality of a) a set whose structure is isomorphic to the law considered in propositional calculus and b) the universal set. In addition to the operations of CFL considered previously by the authors, initial attention is given to the operations with infinite sets by considering two of them: the union of sets and the intersection of sets. Attention is also given to how propositional calculus in BL can be considered a particular case of propositional calculus in CFL, and how the theory of classical sets can be considered a particular case of the theory of fuzzy sets according to CFL.