An analytic approach to the spectral characterization of the radical

**Authors:**Bower, Hendri**Date:**2016**Subjects:**Density functionals , Banach algebras , Spectral theory (Mathematics) , Proof theory , Zemanek, Jaroslav**Language:**English**Type:**Masters (Thesis)**Identifier:**http://hdl.handle.net/10210/124927 , uj:20975**Description:**Abstract: Please refer to full text to view abstract , M.Sc. (Mathematics)**Full Text:**

**Authors:**Bower, Hendri**Date:**2016**Subjects:**Density functionals , Banach algebras , Spectral theory (Mathematics) , Proof theory , Zemanek, Jaroslav**Language:**English**Type:**Masters (Thesis)**Identifier:**http://hdl.handle.net/10210/124927 , uj:20975**Description:**Abstract: Please refer to full text to view abstract , M.Sc. (Mathematics)**Full Text:**

The role of logical principles in proving conjectures using indirect proof techniques in mathematics

**Authors:**Van Staden, Anna Maria**Date:**2012-08-28**Subjects:**Logic, Symbolic and mathematical , Proof theory**Type:**Thesis**Identifier:**uj:3369 , http://hdl.handle.net/10210/6769**Description:**M.Ed. , Recently there has been renewed interest in proof and proving in schools worldwide. However, many school students and even teachers of mathematics have only superficial ideas on the nature of proof. Proof is considered the heart of mathematics as individuals explore, make conjectures and try to convince themselves and others about the truth or falsity of their conjectures. There are basically two categories of deductive proof, namely proof by direct argument and indirect proofs. The aim of this study was to examine the structural features common to most of the mathematical proofs for formalised mathematical systems, with the emphasis on indirect proof techniques. The main question was to investigate which mathematical activities and logical principles at secondary school level are necessary for students to become proficient with proof writing. A great deal of specialised language is associated with reasoning. Such words as axiom, theorem, proof, and conjecture are just some of the terms that students must understand as they engage in the proof-making task. The formal aspect of mathematics at secondary school is extremely important. It is inevitable that students become involved with hypothetical arguments. They use among others, proofs by contradiction. Furthermore, necessary and sufficient conditions are related to theorems and their converses. It is therefore apparent that the study of logic is necessary already at secondary school level in order to practise mathematics satisfactorily. An analysis of the mathematics syllabus of the Department of Education has indicated that students should use indirect techniques of proof. According to this syllabus students should be familiar with logical arguments. The conclusion which is reached, gives evidence that students’ background in logic is completely lacking and inadequate. As a result they cannot cope adequately with argumentation and this causes a poor perception of what mathematics entails. Although proof writing can never be reduced to a mechanical process, considerable anxiety and uncertainty can be eliminated from the process if students are exposed to the principles of elementary logic and techniques. Mathematics educators and education researchers have reported students’ difficulties with mathematical proof and point out the conflict between the nature of this essential mathematical activity and current approaches to teaching it. This recent interest has led to an increased effort to teach proof in innovative ways.**Full Text:**

#### The role of logical principles in proving conjectures using indirect proof techniques in mathematics

**Authors:**Van Staden, Anna Maria**Date:**2012-08-28**Subjects:**Logic, Symbolic and mathematical , Proof theory**Type:**Thesis**Identifier:**uj:3369 , http://hdl.handle.net/10210/6769**Description:**M.Ed. , Recently there has been renewed interest in proof and proving in schools worldwide. However, many school students and even teachers of mathematics have only superficial ideas on the nature of proof. Proof is considered the heart of mathematics as individuals explore, make conjectures and try to convince themselves and others about the truth or falsity of their conjectures. There are basically two categories of deductive proof, namely proof by direct argument and indirect proofs. The aim of this study was to examine the structural features common to most of the mathematical proofs for formalised mathematical systems, with the emphasis on indirect proof techniques. The main question was to investigate which mathematical activities and logical principles at secondary school level are necessary for students to become proficient with proof writing. A great deal of specialised language is associated with reasoning. Such words as axiom, theorem, proof, and conjecture are just some of the terms that students must understand as they engage in the proof-making task. The formal aspect of mathematics at secondary school is extremely important. It is inevitable that students become involved with hypothetical arguments. They use among others, proofs by contradiction. Furthermore, necessary and sufficient conditions are related to theorems and their converses. It is therefore apparent that the study of logic is necessary already at secondary school level in order to practise mathematics satisfactorily. An analysis of the mathematics syllabus of the Department of Education has indicated that students should use indirect techniques of proof. According to this syllabus students should be familiar with logical arguments. The conclusion which is reached, gives evidence that students’ background in logic is completely lacking and inadequate. As a result they cannot cope adequately with argumentation and this causes a poor perception of what mathematics entails. Although proof writing can never be reduced to a mechanical process, considerable anxiety and uncertainty can be eliminated from the process if students are exposed to the principles of elementary logic and techniques. Mathematics educators and education researchers have reported students’ difficulties with mathematical proof and point out the conflict between the nature of this essential mathematical activity and current approaches to teaching it. This recent interest has led to an increased effort to teach proof in innovative ways.**Full Text:**

Expressivity and correspondence theory of many-valued hybrid logic

**Authors:**Baloyi, Tinyiko Samuel**Date:**2019**Subjects:**Logic, Symbolic and mathematical , Proof theory , Hybrid systems**Language:**English**Type:**Masters (Thesis)**Identifier:**http://hdl.handle.net/10210/416755 , uj:35266**Description:**Abstract: The aim of this dissertation is to identify the construction of models that preserve (in both directions) the truth of hybrid formulas and therefore serve to characterize the expressivity of many-valued hybrid logic based on the framework of Hansen, Bolander and Brauner. We show that generated submodels and bounded morphisms preserve the truth of hybrid formulas in both directions. We also show that bisimilarity implies hybrid equivalence in general, however, the converse is not true in general. The converse is true for a weaker notion of a bisimulation for a special set of models, the image-finite models. The second significant contribution of this project is to develop the correspondence theory for many-valued hybrid logic. We show that the algorithm ALBA(first developed by Conradie and Palmigiano) can be extended to the many-valued hybrid setting. We call this extension MV-Hybrid ALBA. As a result, we successfully identify a syntactically defined class of hybrid formulas for a many-valued hybrid language, namely inductive formulas, whose members always have a local first-order frame correspondents. This inductive class generalizes the Sahlqvist class. An appropriate duality is obtained between frames in the chosen many-valued hybrid framework and a class of algebras having certain properties in order to extend ALBA to the many-valued hybrid setting. , M.Sc. (Applied Mathematics)**Full Text:**

**Authors:**Baloyi, Tinyiko Samuel**Date:**2019**Subjects:**Logic, Symbolic and mathematical , Proof theory , Hybrid systems**Language:**English**Type:**Masters (Thesis)**Identifier:**http://hdl.handle.net/10210/416755 , uj:35266**Description:**Abstract: The aim of this dissertation is to identify the construction of models that preserve (in both directions) the truth of hybrid formulas and therefore serve to characterize the expressivity of many-valued hybrid logic based on the framework of Hansen, Bolander and Brauner. We show that generated submodels and bounded morphisms preserve the truth of hybrid formulas in both directions. We also show that bisimilarity implies hybrid equivalence in general, however, the converse is not true in general. The converse is true for a weaker notion of a bisimulation for a special set of models, the image-finite models. The second significant contribution of this project is to develop the correspondence theory for many-valued hybrid logic. We show that the algorithm ALBA(first developed by Conradie and Palmigiano) can be extended to the many-valued hybrid setting. We call this extension MV-Hybrid ALBA. As a result, we successfully identify a syntactically defined class of hybrid formulas for a many-valued hybrid language, namely inductive formulas, whose members always have a local first-order frame correspondents. This inductive class generalizes the Sahlqvist class. An appropriate duality is obtained between frames in the chosen many-valued hybrid framework and a class of algebras having certain properties in order to extend ALBA to the many-valued hybrid setting. , M.Sc. (Applied Mathematics)**Full Text:**

- «
- ‹
- 1
- ›
- »