Power constructs and propositional systems

Simple item page
dc.contributor.advisorBrink, Chrisen_ZA
dc.contributor.authorBritz, Katarinaen_ZA
dc.date.accessioned2014-11-04T08:43:31Z
dc.date.available2014-11-04T08:43:31Z
dc.date.issued1999en_ZA
dc.descriptionBibliography : p. 161-176.en_ZA
dc.description.abstractPropositional 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.identifier.apacitationBritz, 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/9053en_ZA
dc.identifier.chicagocitationBritz, 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/9053en_ZA
dc.identifier.citationBritz, K. 1999. Power constructs and propositional systems. University of Cape Town.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
dc.identifier.urihttp://hdl.handle.net/11427/9053
dc.identifier.vancouvercitationBritz 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/9053en_ZA
dc.language.isoengen_ZA
dc.publisher.departmentDepartment of Mathematics and Applied Mathematicsen_ZA
dc.publisher.facultyFaculty of Scienceen_ZA
dc.publisher.institutionUniversity of Cape Town
dc.subject.otherMathematics and Applied Mathsen_ZA
dc.titlePower constructs and propositional systemsen_ZA
dc.typeDoctoral Thesis
dc.type.qualificationlevelDoctoral
dc.type.qualificationnamePhDen_ZA
uct.type.filetypeText
uct.type.filetypeImage
uct.type.publicationResearchen_ZA
uct.type.resourceThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_1999_britz_k.pdf
Size:
7.66 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
PhD / Doctoral