engleski

Boolean Algebra Is Not the Only Model of Classical Logic

It will be shown - 150 years after George Boole - that Boolean algebra is not the only model of classical propositional logic, i.e., that it is non-categorical. The role of classical logic in classical computers will be discussed and compared with quantum computers.

classical propositional logic; model theory; Boolean algebra

nije evidentirano