Power constructs and propositional systems

 

Show simple item record

dc.contributor.advisor Brink, Chris en_ZA
dc.contributor.author Britz, Katarina en_ZA
dc.date.accessioned 2014-11-04T08:43:31Z
dc.date.available 2014-11-04T08:43:31Z
dc.date.issued 1999 en_ZA
dc.identifier.citation Britz, K. 1999. Power constructs and propositional systems. University of Cape Town. en_ZA
dc.identifier.uri http://hdl.handle.net/11427/9053
dc.description Bibliography : p. 161-176. en_ZA
dc.description.abstract Propositional systems are deductively closed sets of sentences phrased in the language of some propositional logic. The set of systems of a given logic is turned into an algebra by endowing it with a number of operations, and into a relational structure by endowing it with a number of relations. Certain operations and relations on systems arise from some corresponding base operation or relation, either on sentences in the logic or on propositional valuations. These operations and relations on systems are called power constructs. The aim of this thesis is to investigate the use of power constructs in propositional systems. Some operations and relations on systems that arise as power constructs include the Tarskian addition and product operations, the contraction and revision operations of theory change, certain multiple- conclusion consequence relations, and certain relations of verisimilitude and simulation. The logical framework for this investigation is provided by the definition and comparison of a number of multiple-conclusion logics, including a paraconsistent three-valued logic of partial knowledge. en_ZA
dc.language.iso eng en_ZA
dc.subject.other Mathematics and Applied Maths en_ZA
dc.title Power constructs and propositional systems en_ZA
dc.type Doctoral Thesis
uct.type.publication Research en_ZA
uct.type.resource Thesis en_ZA
dc.publisher.institution University of Cape Town
dc.publisher.faculty Faculty of Science en_ZA
dc.publisher.department Department of Mathematics and Applied Mathematics en_ZA
dc.type.qualificationlevel Doctoral
dc.type.qualificationname PhD en_ZA
uct.type.filetype Text
uct.type.filetype Image
dc.identifier.apacitation Britz, K. (1999). <i>Power constructs and propositional systems</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics. Retrieved from http://hdl.handle.net/11427/9053 en_ZA
dc.identifier.chicagocitation Britz, Katarina. <i>"Power constructs and propositional systems."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1999. http://hdl.handle.net/11427/9053 en_ZA
dc.identifier.vancouvercitation Britz K. Power constructs and propositional systems. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1999 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/9053 en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Britz, Katarina AB - Propositional systems are deductively closed sets of sentences phrased in the language of some propositional logic. The set of systems of a given logic is turned into an algebra by endowing it with a number of operations, and into a relational structure by endowing it with a number of relations. Certain operations and relations on systems arise from some corresponding base operation or relation, either on sentences in the logic or on propositional valuations. These operations and relations on systems are called power constructs. The aim of this thesis is to investigate the use of power constructs in propositional systems. Some operations and relations on systems that arise as power constructs include the Tarskian addition and product operations, the contraction and revision operations of theory change, certain multiple- conclusion consequence relations, and certain relations of verisimilitude and simulation. The logical framework for this investigation is provided by the definition and comparison of a number of multiple-conclusion logics, including a paraconsistent three-valued logic of partial knowledge. DA - 1999 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1999 T1 - Power constructs and propositional systems TI - Power constructs and propositional systems UR - http://hdl.handle.net/11427/9053 ER - en_ZA


Files in this item

This item appears in the following Collection(s)

Show simple item record