Topics in Many-valued and Quantum Algebraic Logic
Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Łukasiewicz) logics what boolean algebras are to two-valued logic. More recently, effect algebras were introduced by physicists to describe quantum logic. In this thesis, we begin by investigating how these two structures, introd...
Main Author: | |
---|---|
Other Authors: | |
Language: | en |
Published: |
Université d'Ottawa / University of Ottawa
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/10393/35173 http://dx.doi.org/10.20381/ruor-131 |