Field  Value 
dc.contributor.author  Lu, Weiyun 
dc.date.accessioned  20160916T17:28:10Z 
dc.date.available  20160916T17:28:10Z 
dc.date.issued  2016 
dc.identifier.uri  http://hdl.handle.net/10393/35173 
dc.identifier.uri  http://dx.doi.org/10.20381/ruor131 
dc.description.abstract  Introduced by C.C. Chang in the 1950s, MV algebras are to manyvalued (Łukasiewicz) logics what boolean algebras are to twovalued 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.iso  en 
dc.publisher  Université d'Ottawa / University of Ottawa 
dc.subject  mv algebra 
dc.subject  effect algebra 
dc.subject  many valuedlogic 
dc.subject  quantum logic 
dc.subject  algebraic logic 
dc.subject  mathematical logic 
dc.subject  category theory 
dc.subject  categorical logic 
dc.title  Topics in Manyvalued and Quantum Algebraic Logic 
dc.type  Thesis 
dc.contributor.supervisor  Scott, Philip 
thesis.degree.name  MSc 
thesis.degree.level  Masters 
thesis.degree.discipline  Sciences / Science 
uottawa.department  Mathématiques et statistique / Mathematics and Statistics 
Collection  Thèses, 2011  // Theses, 2011 
