Topics in Many-valued and Quantum Algebraic Logic

FieldValue
dc.contributor.authorLu, Weiyun
dc.date.accessioned2016-09-16T17:28:10Z
dc.date.available2016-09-16T17:28:10Z
dc.date.issued2016
dc.identifier.urihttp://hdl.handle.net/10393/35173
dc.identifier.urihttp://dx.doi.org/10.20381/ruor-131
dc.description.abstractIntroduced 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, introduced decades apart for wildly different reasons, are intimately related in a mathematically precise way. We survey some connections between MV/effect algebras and more traditional algebraic structures. Then, we look at the categorical structure of effect algebras in depth, and in particular see how the partiality of their operations cause things to be vastly more complicated than their totally defined classical analogues. In the final chapter, we discuss coordinatization of MV algebras and prove some new theorems and construct some new concrete examples, connecting these structures up (requiring a detour through effect algebras!) to boolean inverse semigroups.
dc.language.isoen
dc.publisherUniversité d'Ottawa / University of Ottawa
dc.subjectmv algebra
dc.subjecteffect algebra
dc.subjectmany valued-logic
dc.subjectquantum logic
dc.subjectalgebraic logic
dc.subjectmathematical logic
dc.subjectcategory theory
dc.subjectcategorical logic
dc.titleTopics in Many-valued and Quantum Algebraic Logic
dc.typeThesis
dc.contributor.supervisorScott, Philip
thesis.degree.nameMSc
thesis.degree.levelMasters
thesis.degree.disciplineSciences / Science
uottawa.departmentMathématiques et statistique / Mathematics and Statistics
CollectionThèses, 2011 - // Theses, 2011 -

Files