Displaying similar documents to “Disjointing infinite sums in incomplete Boolean algebras”

A short note on lattices allowing disjunctive reasoning.

Enric Trillas, Eloy Renedo, Claudi Alsina (2006)

Mathware and Soft Computing

Similarity:

This short note shows that the scheme of disjunctive reasoning, , not , does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality , forces the structure to be a boolean algebra.