With Fewer Laws: Ortho-Lattices and De Morgan Algebras
摘要
Next, we will analyze two different algebraic structures that contain, as a particular case, Boolean algebras: the ortho-lattices, of which so-called ortho-modular lattices are particularly interesting, one of the models with which the reasoning of quantum physics has been formally studied, as well as the De Morgan algebras that are widely used in the practical applications of the theory of fuzzy sets, calculation with imprecise concepts.