The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “On the solvability of infinite systems of Boolean polynomial equations”

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.