Pregled bibliografske jedinice broj: 58168
Boolean Algebra Is Not the Only Model of Classical Logic
Boolean Algebra Is Not the Only Model of Classical Logic, 2000. (ostalo).
CROSBI ID: 58168 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Boolean Algebra Is Not the Only Model of Classical Logic
Autori
Pavičić, Mladen
Izvornik
Invited talk at Dept. of Math., Florida Internat. Univ., Miami, USA, 28.4.2000
Vrsta, podvrsta
Ostale vrste radova, ostalo
Godina
2000
Ključne riječi
classical propositional logic; model theory; Boolean algebra
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Fizika
POVEZANOST RADA
