{"id":{"repo_id":"cape-town","oai_identifier":"oai:open.uct.ac.za:11427/9053"},"canonical_url":"https://search.dev.ndltd.org/etd/cape-town/oai:open.uct.ac.za:11427/9053","repository":{"repo_id":"cape-town","name":"University of Cape Town","base_url":"https://open.uct.ac.za/oai/request"},"display":{"title":"Power constructs and propositional systems","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Britz, Katarina"],"institution":"Department of Mathematics and Applied Mathematics","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Brink, Chris"],"committee_chairs":[],"committee_members":[],"year":1999,"date_issued":"1999","date_published":"1999","updated_at":"2026-07-22T22:23:19Z","subjects":[],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/11427/9053","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Brink, Chris"]},{"key":"dc:creator","label":"Author","values":["Britz, Katarina"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-11-04T08:43:31Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-11-04T08:43:31Z"]},{"key":"dc:date.issued","label":"Date","values":["1999"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Department of Mathematics and Applied Mathematics"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cape Town"]},{"key":"dc:type","label":"Dc Type","values":["Doctoral Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["PhD"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/11427/9053"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Bibliography : p. 161-176."]},{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["Power constructs and propositional systems"]}]}],"canonical_facts":{"dc:contributor.advisor":["Brink, Chris"],"dc:creator":["Britz, Katarina"],"dc:date.accessioned":["2014-11-04T08:43:31Z"],"dc:date.available":["2014-11-04T08:43:31Z"],"dc:date.issued":["1999"],"dc:description":["Bibliography : p. 161-176."],"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."],"dc:identifier.uri":["http://hdl.handle.net/11427/9053"],"dc:language.iso":["eng"],"dc:publisher.department":["Department of Mathematics and Applied Mathematics"],"dc:publisher.institution":["University of Cape Town"],"dc:title":["Power constructs and propositional systems"],"dc:type":["Doctoral Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["PhD"]},"updated_at":"2026-07-22T22:23:19Z"}