Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Proof theory). Showing records 1 – 30 of 120 total matches.

[1] [2] [3] [4]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Country

▼ Search Limiters


Oregon State University

1. Lewis, S. M. University mathematics students' perception of proof and its relationship to achievement.

Degree: PhD, Mathematics Education, 1986, Oregon State University

 The focus of this study was junior-level mathematics students' perception of proof and its relationship to achievement. The following problems were investigated: 1) nature of… (more)

Subjects/Keywords: Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lewis, S. M. (1986). University mathematics students' perception of proof and its relationship to achievement. (Doctoral Dissertation). Oregon State University. Retrieved from http://hdl.handle.net/1957/40916

Chicago Manual of Style (16th Edition):

Lewis, S M. “University mathematics students' perception of proof and its relationship to achievement.” 1986. Doctoral Dissertation, Oregon State University. Accessed September 19, 2020. http://hdl.handle.net/1957/40916.

MLA Handbook (7th Edition):

Lewis, S M. “University mathematics students' perception of proof and its relationship to achievement.” 1986. Web. 19 Sep 2020.

Vancouver:

Lewis SM. University mathematics students' perception of proof and its relationship to achievement. [Internet] [Doctoral dissertation]. Oregon State University; 1986. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/1957/40916.

Council of Science Editors:

Lewis SM. University mathematics students' perception of proof and its relationship to achievement. [Doctoral Dissertation]. Oregon State University; 1986. Available from: http://hdl.handle.net/1957/40916

2. Chamberlain, Darryl J, Jr. Investigating the Development of Proof Comprehension: The Case of Proof by Contradiction.

Degree: PhD, Mathematics and Statistics, 2017, Georgia State University

  This dissertation reports on an investigation of transition-to-proof students' understanding of proof by contradiction. A plethora of research on the construction aspect of proof(more)

Subjects/Keywords: Proof by contradiction; Proof comprehension; APOS Theory; ACE teaching cycle; Indirect proof

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chamberlain, Darryl J, J. (2017). Investigating the Development of Proof Comprehension: The Case of Proof by Contradiction. (Doctoral Dissertation). Georgia State University. Retrieved from https://scholarworks.gsu.edu/math_diss/46

Chicago Manual of Style (16th Edition):

Chamberlain, Darryl J, Jr. “Investigating the Development of Proof Comprehension: The Case of Proof by Contradiction.” 2017. Doctoral Dissertation, Georgia State University. Accessed September 19, 2020. https://scholarworks.gsu.edu/math_diss/46.

MLA Handbook (7th Edition):

Chamberlain, Darryl J, Jr. “Investigating the Development of Proof Comprehension: The Case of Proof by Contradiction.” 2017. Web. 19 Sep 2020.

Vancouver:

Chamberlain, Darryl J J. Investigating the Development of Proof Comprehension: The Case of Proof by Contradiction. [Internet] [Doctoral dissertation]. Georgia State University; 2017. [cited 2020 Sep 19]. Available from: https://scholarworks.gsu.edu/math_diss/46.

Council of Science Editors:

Chamberlain, Darryl J J. Investigating the Development of Proof Comprehension: The Case of Proof by Contradiction. [Doctoral Dissertation]. Georgia State University; 2017. Available from: https://scholarworks.gsu.edu/math_diss/46


Drexel University

3. Papadopoulos, Dimitrios. Transitioning to Proof with Worked Examples.

Degree: 2016, Drexel University

Proof is an essential part of mathematical practice both for mathematicians and for students at the undergraduate and graduate levels. In transitioning from computation-based courses… (more)

Subjects/Keywords: Education; Proof theory; Education – Mathematical models

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Papadopoulos, D. (2016). Transitioning to Proof with Worked Examples. (Thesis). Drexel University. Retrieved from http://hdl.handle.net/1860/idea:7041

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Papadopoulos, Dimitrios. “Transitioning to Proof with Worked Examples.” 2016. Thesis, Drexel University. Accessed September 19, 2020. http://hdl.handle.net/1860/idea:7041.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Papadopoulos, Dimitrios. “Transitioning to Proof with Worked Examples.” 2016. Web. 19 Sep 2020.

Vancouver:

Papadopoulos D. Transitioning to Proof with Worked Examples. [Internet] [Thesis]. Drexel University; 2016. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/1860/idea:7041.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Papadopoulos D. Transitioning to Proof with Worked Examples. [Thesis]. Drexel University; 2016. Available from: http://hdl.handle.net/1860/idea:7041

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Johannesburg

4. Van Staden, Anna Maria. The role of logical principles in proving conjectures using indirect proof techniques in mathematics.

Degree: 2012, University of Johannesburg

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… (more)

Subjects/Keywords: Logic, Symbolic and mathematical; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Van Staden, A. M. (2012). The role of logical principles in proving conjectures using indirect proof techniques in mathematics. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/6769

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Van Staden, Anna Maria. “The role of logical principles in proving conjectures using indirect proof techniques in mathematics.” 2012. Thesis, University of Johannesburg. Accessed September 19, 2020. http://hdl.handle.net/10210/6769.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Van Staden, Anna Maria. “The role of logical principles in proving conjectures using indirect proof techniques in mathematics.” 2012. Web. 19 Sep 2020.

Vancouver:

Van Staden AM. The role of logical principles in proving conjectures using indirect proof techniques in mathematics. [Internet] [Thesis]. University of Johannesburg; 2012. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10210/6769.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Van Staden AM. The role of logical principles in proving conjectures using indirect proof techniques in mathematics. [Thesis]. University of Johannesburg; 2012. Available from: http://hdl.handle.net/10210/6769

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Harvard University

5. Merrill, Lauren. Essays in Microeconomic Theory.

Degree: PhD, Economics, 2012, Harvard University

If the number of individuals is odd, Campbell and Kelly (2003) show that majority rule is the only non-dictatorial strategy-proof social choice rule on the… (more)

Subjects/Keywords: Condorcet; economic theory; behavioral; matching; strategy-proof

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Merrill, L. (2012). Essays in Microeconomic Theory. (Doctoral Dissertation). Harvard University. Retrieved from http://nrs.harvard.edu/urn-3:HUL.InstRepos:9306422

Chicago Manual of Style (16th Edition):

Merrill, Lauren. “Essays in Microeconomic Theory.” 2012. Doctoral Dissertation, Harvard University. Accessed September 19, 2020. http://nrs.harvard.edu/urn-3:HUL.InstRepos:9306422.

MLA Handbook (7th Edition):

Merrill, Lauren. “Essays in Microeconomic Theory.” 2012. Web. 19 Sep 2020.

Vancouver:

Merrill L. Essays in Microeconomic Theory. [Internet] [Doctoral dissertation]. Harvard University; 2012. [cited 2020 Sep 19]. Available from: http://nrs.harvard.edu/urn-3:HUL.InstRepos:9306422.

Council of Science Editors:

Merrill L. Essays in Microeconomic Theory. [Doctoral Dissertation]. Harvard University; 2012. Available from: http://nrs.harvard.edu/urn-3:HUL.InstRepos:9306422


Rutgers University

6. Sigley, Robert. Teacher learning about student mathematical reasoning in a technololgy enhanced, collaborative course environment.

Degree: PhD, Education, 2016, Rutgers University

In recent years knowledge required for effective mathematics teaching has become more defined. A key area is the importance of teachers’ attending to student reasoning… (more)

Subjects/Keywords: Mathematics – Study and teaching; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sigley, R. (2016). Teacher learning about student mathematical reasoning in a technololgy enhanced, collaborative course environment. (Doctoral Dissertation). Rutgers University. Retrieved from https://rucore.libraries.rutgers.edu/rutgers-lib/50182/

Chicago Manual of Style (16th Edition):

Sigley, Robert. “Teacher learning about student mathematical reasoning in a technololgy enhanced, collaborative course environment.” 2016. Doctoral Dissertation, Rutgers University. Accessed September 19, 2020. https://rucore.libraries.rutgers.edu/rutgers-lib/50182/.

MLA Handbook (7th Edition):

Sigley, Robert. “Teacher learning about student mathematical reasoning in a technololgy enhanced, collaborative course environment.” 2016. Web. 19 Sep 2020.

Vancouver:

Sigley R. Teacher learning about student mathematical reasoning in a technololgy enhanced, collaborative course environment. [Internet] [Doctoral dissertation]. Rutgers University; 2016. [cited 2020 Sep 19]. Available from: https://rucore.libraries.rutgers.edu/rutgers-lib/50182/.

Council of Science Editors:

Sigley R. Teacher learning about student mathematical reasoning in a technololgy enhanced, collaborative course environment. [Doctoral Dissertation]. Rutgers University; 2016. Available from: https://rucore.libraries.rutgers.edu/rutgers-lib/50182/


Rutgers University

7. Lew, Kristen, 1988-. Conventions of the language of mathematical proof writing at the undergraduate level.

Degree: PhD, Education, 2016, Rutgers University

This dissertation consists of three studies investigating the language of mathematical proof writing at the undergraduate level by considering a series of potential breaches of… (more)

Subjects/Keywords: Mathematics – Study and teaching; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lew, Kristen, 1. (2016). Conventions of the language of mathematical proof writing at the undergraduate level. (Doctoral Dissertation). Rutgers University. Retrieved from https://rucore.libraries.rutgers.edu/rutgers-lib/51349/

Chicago Manual of Style (16th Edition):

Lew, Kristen, 1988-. “Conventions of the language of mathematical proof writing at the undergraduate level.” 2016. Doctoral Dissertation, Rutgers University. Accessed September 19, 2020. https://rucore.libraries.rutgers.edu/rutgers-lib/51349/.

MLA Handbook (7th Edition):

Lew, Kristen, 1988-. “Conventions of the language of mathematical proof writing at the undergraduate level.” 2016. Web. 19 Sep 2020.

Vancouver:

Lew, Kristen 1. Conventions of the language of mathematical proof writing at the undergraduate level. [Internet] [Doctoral dissertation]. Rutgers University; 2016. [cited 2020 Sep 19]. Available from: https://rucore.libraries.rutgers.edu/rutgers-lib/51349/.

Council of Science Editors:

Lew, Kristen 1. Conventions of the language of mathematical proof writing at the undergraduate level. [Doctoral Dissertation]. Rutgers University; 2016. Available from: https://rucore.libraries.rutgers.edu/rutgers-lib/51349/


Georgia State University

8. Grant, Shanah K. An In-Depth Investigation Of How An Undergraduate Mathematics Major Student Learns The Concept Of Proof.

Degree: PhD, Mathematics and Statistics, 2020, Georgia State University

  Mathematical proof is of high importance in the advanced proof-based courses which mathematics majors must take in order to graduate. Investigating how a competent… (more)

Subjects/Keywords: Self-regulated learning theory; SRL; APOS theory; Proof understanding; Proof difficulties; Grade success estimator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Grant, S. K. (2020). An In-Depth Investigation Of How An Undergraduate Mathematics Major Student Learns The Concept Of Proof. (Doctoral Dissertation). Georgia State University. Retrieved from https://scholarworks.gsu.edu/math_diss/72

Chicago Manual of Style (16th Edition):

Grant, Shanah K. “An In-Depth Investigation Of How An Undergraduate Mathematics Major Student Learns The Concept Of Proof.” 2020. Doctoral Dissertation, Georgia State University. Accessed September 19, 2020. https://scholarworks.gsu.edu/math_diss/72.

MLA Handbook (7th Edition):

Grant, Shanah K. “An In-Depth Investigation Of How An Undergraduate Mathematics Major Student Learns The Concept Of Proof.” 2020. Web. 19 Sep 2020.

Vancouver:

Grant SK. An In-Depth Investigation Of How An Undergraduate Mathematics Major Student Learns The Concept Of Proof. [Internet] [Doctoral dissertation]. Georgia State University; 2020. [cited 2020 Sep 19]. Available from: https://scholarworks.gsu.edu/math_diss/72.

Council of Science Editors:

Grant SK. An In-Depth Investigation Of How An Undergraduate Mathematics Major Student Learns The Concept Of Proof. [Doctoral Dissertation]. Georgia State University; 2020. Available from: https://scholarworks.gsu.edu/math_diss/72

9. Vaz Alves, Gleifer. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques .

Degree: 2009, Universidade Federal de Pernambuco

 O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica… (more)

Subjects/Keywords: Proof theory; Natural deduction; Proof-graphs, Topological graph theory; Normalization; Multiple conclusion; Cycles

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vaz Alves, G. (2009). Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1418

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Vaz Alves, Gleifer. “Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques .” 2009. Thesis, Universidade Federal de Pernambuco. Accessed September 19, 2020. http://repositorio.ufpe.br/handle/123456789/1418.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Vaz Alves, Gleifer. “Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques .” 2009. Web. 19 Sep 2020.

Vancouver:

Vaz Alves G. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2009. [cited 2020 Sep 19]. Available from: http://repositorio.ufpe.br/handle/123456789/1418.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Vaz Alves G. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques . [Thesis]. Universidade Federal de Pernambuco; 2009. Available from: http://repositorio.ufpe.br/handle/123456789/1418

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Texas State University – San Marcos

10. Hanusch, Sarah Elizabeth Mall. The Use of Examples in a Transition-to-Proof Course.

Degree: PhD, Mathematics Education, 2015, Texas State University – San Marcos

 This study investigates the ways that undergraduate students use examples in their transition-to-proof course, and the influence that the instructor had on the students’ decisions… (more)

Subjects/Keywords: Transition-to-proof; Examples; Teaching; Proof writing; Proof theory – Study and teaching (Higher); Mathematics – Study and teaching (Higher)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hanusch, S. E. M. (2015). The Use of Examples in a Transition-to-Proof Course. (Doctoral Dissertation). Texas State University – San Marcos. Retrieved from https://digital.library.txstate.edu/handle/10877/5739

Chicago Manual of Style (16th Edition):

Hanusch, Sarah Elizabeth Mall. “The Use of Examples in a Transition-to-Proof Course.” 2015. Doctoral Dissertation, Texas State University – San Marcos. Accessed September 19, 2020. https://digital.library.txstate.edu/handle/10877/5739.

MLA Handbook (7th Edition):

Hanusch, Sarah Elizabeth Mall. “The Use of Examples in a Transition-to-Proof Course.” 2015. Web. 19 Sep 2020.

Vancouver:

Hanusch SEM. The Use of Examples in a Transition-to-Proof Course. [Internet] [Doctoral dissertation]. Texas State University – San Marcos; 2015. [cited 2020 Sep 19]. Available from: https://digital.library.txstate.edu/handle/10877/5739.

Council of Science Editors:

Hanusch SEM. The Use of Examples in a Transition-to-Proof Course. [Doctoral Dissertation]. Texas State University – San Marcos; 2015. Available from: https://digital.library.txstate.edu/handle/10877/5739


Texas State University – San Marcos

11. Fagan, Joshua B. Assessing ITP Students' Validating Ability: Framing, Developing and Validating a Pilot Assessment.

Degree: PhD, Mathematics Education, 2019, Texas State University – San Marcos

 In this paper I discuss the process of creating a closed-form multiple-choice assessment of students’ ability to validate mathematical proofs at the introduction to proof(more)

Subjects/Keywords: Proof; Validating; Research assessment development; Mathematical practice; Proof theory; Mathematics – Study and teaching

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fagan, J. B. (2019). Assessing ITP Students' Validating Ability: Framing, Developing and Validating a Pilot Assessment. (Doctoral Dissertation). Texas State University – San Marcos. Retrieved from https://digital.library.txstate.edu/handle/10877/8392

Chicago Manual of Style (16th Edition):

Fagan, Joshua B. “Assessing ITP Students' Validating Ability: Framing, Developing and Validating a Pilot Assessment.” 2019. Doctoral Dissertation, Texas State University – San Marcos. Accessed September 19, 2020. https://digital.library.txstate.edu/handle/10877/8392.

MLA Handbook (7th Edition):

Fagan, Joshua B. “Assessing ITP Students' Validating Ability: Framing, Developing and Validating a Pilot Assessment.” 2019. Web. 19 Sep 2020.

Vancouver:

Fagan JB. Assessing ITP Students' Validating Ability: Framing, Developing and Validating a Pilot Assessment. [Internet] [Doctoral dissertation]. Texas State University – San Marcos; 2019. [cited 2020 Sep 19]. Available from: https://digital.library.txstate.edu/handle/10877/8392.

Council of Science Editors:

Fagan JB. Assessing ITP Students' Validating Ability: Framing, Developing and Validating a Pilot Assessment. [Doctoral Dissertation]. Texas State University – San Marcos; 2019. Available from: https://digital.library.txstate.edu/handle/10877/8392


University of Georgia

12. Schoenbaum, Lucius Traylor. Mathematics, philosophy, and proof theory.

Degree: 2014, University of Georgia

 Our purpose shall be to introduce revisions into the foundational systematic introduced by Brouwer and Hilbert in the early part of the last century. We… (more)

Subjects/Keywords: Foundations of Mathematics; Proof Theory; Formalism; Intuitionism; Intuitionistic Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Schoenbaum, L. T. (2014). Mathematics, philosophy, and proof theory. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/25047

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Schoenbaum, Lucius Traylor. “Mathematics, philosophy, and proof theory.” 2014. Thesis, University of Georgia. Accessed September 19, 2020. http://hdl.handle.net/10724/25047.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Schoenbaum, Lucius Traylor. “Mathematics, philosophy, and proof theory.” 2014. Web. 19 Sep 2020.

Vancouver:

Schoenbaum LT. Mathematics, philosophy, and proof theory. [Internet] [Thesis]. University of Georgia; 2014. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10724/25047.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Schoenbaum LT. Mathematics, philosophy, and proof theory. [Thesis]. University of Georgia; 2014. Available from: http://hdl.handle.net/10724/25047

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


The Ohio State University

13. Bosna, Bora. On Amalgamation of Pure Patterns of Resemblance of Order Two.

Degree: PhD, Mathematics, 2014, The Ohio State University

This dissertation is part of a project to give an elementary proof of the existence of amalgamations for pure patterns of resemblance of order two. Advisors/Committee Members: Carlson, Timothy (Advisor).

Subjects/Keywords: Mathematics; Proof Theory; Patterns of Resemblance; Ordinal Notations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bosna, B. (2014). On Amalgamation of Pure Patterns of Resemblance of Order Two. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1408722057

Chicago Manual of Style (16th Edition):

Bosna, Bora. “On Amalgamation of Pure Patterns of Resemblance of Order Two.” 2014. Doctoral Dissertation, The Ohio State University. Accessed September 19, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1408722057.

MLA Handbook (7th Edition):

Bosna, Bora. “On Amalgamation of Pure Patterns of Resemblance of Order Two.” 2014. Web. 19 Sep 2020.

Vancouver:

Bosna B. On Amalgamation of Pure Patterns of Resemblance of Order Two. [Internet] [Doctoral dissertation]. The Ohio State University; 2014. [cited 2020 Sep 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1408722057.

Council of Science Editors:

Bosna B. On Amalgamation of Pure Patterns of Resemblance of Order Two. [Doctoral Dissertation]. The Ohio State University; 2014. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1408722057

14. Mullins, Christopher. Gödel's incompleteness theorem.

Degree: MS, Mathematics, 2013, Eastern Washington University

  "This thesis gives a rigorous development of sentential logic and first-order logic as mathematical models of humanity's deductive thought processes. Important properties of each… (more)

Subjects/Keywords: Gödel's theorem; Incompleteness theorems; Proof theory; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mullins, C. (2013). Gödel's incompleteness theorem. (Thesis). Eastern Washington University. Retrieved from https://dc.ewu.edu/theses/172

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mullins, Christopher. “Gödel's incompleteness theorem.” 2013. Thesis, Eastern Washington University. Accessed September 19, 2020. https://dc.ewu.edu/theses/172.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mullins, Christopher. “Gödel's incompleteness theorem.” 2013. Web. 19 Sep 2020.

Vancouver:

Mullins C. Gödel's incompleteness theorem. [Internet] [Thesis]. Eastern Washington University; 2013. [cited 2020 Sep 19]. Available from: https://dc.ewu.edu/theses/172.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mullins C. Gödel's incompleteness theorem. [Thesis]. Eastern Washington University; 2013. Available from: https://dc.ewu.edu/theses/172

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of St Andrews

15. Howe, Jacob M. Proof search issues in some non-classical logics.

Degree: PhD, 1999, University of St Andrews

 This thesis develops techniques and ideas on proof search. Proof search is used with one of two meanings. Proof search can be thought of either… (more)

Subjects/Keywords: 006.3; QA9.54H7; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Howe, J. M. (1999). Proof search issues in some non-classical logics. (Doctoral Dissertation). University of St Andrews. Retrieved from http://hdl.handle.net/10023/13362

Chicago Manual of Style (16th Edition):

Howe, Jacob M. “Proof search issues in some non-classical logics.” 1999. Doctoral Dissertation, University of St Andrews. Accessed September 19, 2020. http://hdl.handle.net/10023/13362.

MLA Handbook (7th Edition):

Howe, Jacob M. “Proof search issues in some non-classical logics.” 1999. Web. 19 Sep 2020.

Vancouver:

Howe JM. Proof search issues in some non-classical logics. [Internet] [Doctoral dissertation]. University of St Andrews; 1999. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10023/13362.

Council of Science Editors:

Howe JM. Proof search issues in some non-classical logics. [Doctoral Dissertation]. University of St Andrews; 1999. Available from: http://hdl.handle.net/10023/13362


Victoria University of Wellington

16. Friggens, David. A Modal Proof Theory for Polynomial Coalgebras.

Degree: 2004, Victoria University of Wellington

 The abstract mathematical structures known as coalgebras are of increasing interest in computer science for their use in modelling certain types of data structures and… (more)

Subjects/Keywords: Modal logic; Coalgebra; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Friggens, D. (2004). A Modal Proof Theory for Polynomial Coalgebras. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/92

Chicago Manual of Style (16th Edition):

Friggens, David. “A Modal Proof Theory for Polynomial Coalgebras.” 2004. Masters Thesis, Victoria University of Wellington. Accessed September 19, 2020. http://hdl.handle.net/10063/92.

MLA Handbook (7th Edition):

Friggens, David. “A Modal Proof Theory for Polynomial Coalgebras.” 2004. Web. 19 Sep 2020.

Vancouver:

Friggens D. A Modal Proof Theory for Polynomial Coalgebras. [Internet] [Masters thesis]. Victoria University of Wellington; 2004. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10063/92.

Council of Science Editors:

Friggens D. A Modal Proof Theory for Polynomial Coalgebras. [Masters Thesis]. Victoria University of Wellington; 2004. Available from: http://hdl.handle.net/10063/92


University of Toronto

17. Robere, Robert Charles. Unified Lower Bounds for Monotone Computation.

Degree: PhD, 2018, University of Toronto

 Razborov introduced an elegant rank-based complexity measure for proving lower bounds on the monotone formula complexity of boolean functions. Later work by Gal showed that… (more)

Subjects/Keywords: boolean circuits; circuit complexity; complexity theory; proof complexity; span programs; 0984

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Robere, R. C. (2018). Unified Lower Bounds for Monotone Computation. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/92007

Chicago Manual of Style (16th Edition):

Robere, Robert Charles. “Unified Lower Bounds for Monotone Computation.” 2018. Doctoral Dissertation, University of Toronto. Accessed September 19, 2020. http://hdl.handle.net/1807/92007.

MLA Handbook (7th Edition):

Robere, Robert Charles. “Unified Lower Bounds for Monotone Computation.” 2018. Web. 19 Sep 2020.

Vancouver:

Robere RC. Unified Lower Bounds for Monotone Computation. [Internet] [Doctoral dissertation]. University of Toronto; 2018. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/1807/92007.

Council of Science Editors:

Robere RC. Unified Lower Bounds for Monotone Computation. [Doctoral Dissertation]. University of Toronto; 2018. Available from: http://hdl.handle.net/1807/92007


University of Melbourne

18. DICHER, BOGDAN. Logical pluralism and the meaning of the logical constants.

Degree: 2014, University of Melbourne

 This thesis is an investigation into logical pluralism. The main question it addresses is whether pluralism about logical consequence is compatible with the invariance of… (more)

Subjects/Keywords: logical pluralism; proof theory; harmony; logical constants; meaning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

DICHER, B. (2014). Logical pluralism and the meaning of the logical constants. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/50991

Chicago Manual of Style (16th Edition):

DICHER, BOGDAN. “Logical pluralism and the meaning of the logical constants.” 2014. Doctoral Dissertation, University of Melbourne. Accessed September 19, 2020. http://hdl.handle.net/11343/50991.

MLA Handbook (7th Edition):

DICHER, BOGDAN. “Logical pluralism and the meaning of the logical constants.” 2014. Web. 19 Sep 2020.

Vancouver:

DICHER B. Logical pluralism and the meaning of the logical constants. [Internet] [Doctoral dissertation]. University of Melbourne; 2014. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/11343/50991.

Council of Science Editors:

DICHER B. Logical pluralism and the meaning of the logical constants. [Doctoral Dissertation]. University of Melbourne; 2014. Available from: http://hdl.handle.net/11343/50991


University of Arizona

19. Kaushish, Madhav. Assumption Digging in Euclidean Geometry .

Degree: 2019, University of Arizona

Theory Building has been largely ignored in Mathematics Education, especially at the Middle and High School Levels. This thesis focuses on Assumption Digging, a type… (more)

Subjects/Keywords: axioms; definitions; euclidean geometry; geometry education; proof; theory building

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kaushish, M. (2019). Assumption Digging in Euclidean Geometry . (Masters Thesis). University of Arizona. Retrieved from http://hdl.handle.net/10150/636511

Chicago Manual of Style (16th Edition):

Kaushish, Madhav. “Assumption Digging in Euclidean Geometry .” 2019. Masters Thesis, University of Arizona. Accessed September 19, 2020. http://hdl.handle.net/10150/636511.

MLA Handbook (7th Edition):

Kaushish, Madhav. “Assumption Digging in Euclidean Geometry .” 2019. Web. 19 Sep 2020.

Vancouver:

Kaushish M. Assumption Digging in Euclidean Geometry . [Internet] [Masters thesis]. University of Arizona; 2019. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10150/636511.

Council of Science Editors:

Kaushish M. Assumption Digging in Euclidean Geometry . [Masters Thesis]. University of Arizona; 2019. Available from: http://hdl.handle.net/10150/636511

20. Peebles, David M. A study of positive and negative inquiry.

Degree: 1978, North Texas State University

 The subject of the study is a theory of positive and negative inquiry with emphasis in mathematics. The purposes of this study are to examine… (more)

Subjects/Keywords: inquiry; proof theory; trigonometry

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Peebles, D. M. (1978). A study of positive and negative inquiry. (Thesis). North Texas State University. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc332572/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Peebles, David M. “A study of positive and negative inquiry.” 1978. Thesis, North Texas State University. Accessed September 19, 2020. https://digital.library.unt.edu/ark:/67531/metadc332572/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Peebles, David M. “A study of positive and negative inquiry.” 1978. Web. 19 Sep 2020.

Vancouver:

Peebles DM. A study of positive and negative inquiry. [Internet] [Thesis]. North Texas State University; 1978. [cited 2020 Sep 19]. Available from: https://digital.library.unt.edu/ark:/67531/metadc332572/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Peebles DM. A study of positive and negative inquiry. [Thesis]. North Texas State University; 1978. Available from: https://digital.library.unt.edu/ark:/67531/metadc332572/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

21. JOSE FLAVIO CAVALCANTE BARROS JUNIOR. [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION.

Degree: 2020, Pontifical Catholic University of Rio de Janeiro

[pt] O tamanho das provas formais possui algumas importantes implicações teóricas na área da complexidade computacional. O problema de determinar se uma fórmula é uma… (more)

Subjects/Keywords: [pt] TEORIA DA PROVA; [en] PROOF THEORY; [pt] LOGICA MINIMAL; [en] MINIMAL LOGIC; [pt] COMPRESSAO DE PROVAS; [en] PROOF COMPRESSION

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

JUNIOR, J. F. C. B. (2020). [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

JUNIOR, JOSE FLAVIO CAVALCANTE BARROS. “[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION.” 2020. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 19, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

JUNIOR, JOSE FLAVIO CAVALCANTE BARROS. “[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION.” 2020. Web. 19 Sep 2020.

Vancouver:

JUNIOR JFCB. [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. [cited 2020 Sep 19]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

JUNIOR JFCB. [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Pelupessy, Florian Nicolás. Connecting the provable with the unprovable: phase transitions for unprovability.

Degree: 2012, Ghent University

 Why are some theorems not provable in certain theories of mathematics? Why are most theorems from existing mathematics provable in very weak systems? Unprovability theory(more)

Subjects/Keywords: Mathematics and Statistics; proof theory; model theory; phase transitions in logic; independence; Unprovability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pelupessy, F. N. (2012). Connecting the provable with the unprovable: phase transitions for unprovability. (Thesis). Ghent University. Retrieved from http://hdl.handle.net/1854/LU-3170739

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pelupessy, Florian Nicolás. “Connecting the provable with the unprovable: phase transitions for unprovability.” 2012. Thesis, Ghent University. Accessed September 19, 2020. http://hdl.handle.net/1854/LU-3170739.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pelupessy, Florian Nicolás. “Connecting the provable with the unprovable: phase transitions for unprovability.” 2012. Web. 19 Sep 2020.

Vancouver:

Pelupessy FN. Connecting the provable with the unprovable: phase transitions for unprovability. [Internet] [Thesis]. Ghent University; 2012. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/1854/LU-3170739.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pelupessy FN. Connecting the provable with the unprovable: phase transitions for unprovability. [Thesis]. Ghent University; 2012. Available from: http://hdl.handle.net/1854/LU-3170739

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

23. Slama, Franck. Automatic generation of proof terms in dependently typed programming languages.

Degree: PhD, 2018, University of St Andrews

 Dependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as… (more)

Subjects/Keywords: Type theory; Equivalence; Equality; Proof automation; Correct-by-construction software; Type-driven development; Idris; Proof by reflection; Formal certification; Proof assistant; Algebraic structure; Ring; Group; Semi-ring; Monoid; Semi-group; Dependent types; Dependently typed programming languages; Proof obligation

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Slama, F. (2018). Automatic generation of proof terms in dependently typed programming languages. (Doctoral Dissertation). University of St Andrews. Retrieved from http://hdl.handle.net/10023/16451

Chicago Manual of Style (16th Edition):

Slama, Franck. “Automatic generation of proof terms in dependently typed programming languages.” 2018. Doctoral Dissertation, University of St Andrews. Accessed September 19, 2020. http://hdl.handle.net/10023/16451.

MLA Handbook (7th Edition):

Slama, Franck. “Automatic generation of proof terms in dependently typed programming languages.” 2018. Web. 19 Sep 2020.

Vancouver:

Slama F. Automatic generation of proof terms in dependently typed programming languages. [Internet] [Doctoral dissertation]. University of St Andrews; 2018. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10023/16451.

Council of Science Editors:

Slama F. Automatic generation of proof terms in dependently typed programming languages. [Doctoral Dissertation]. University of St Andrews; 2018. Available from: http://hdl.handle.net/10023/16451

24. Blanco Martínez, Roberto. Applications of Foundational Proof Certificates in theorem proving : Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes.

Degree: Docteur es, Informatique, 2017, Université Paris-Saclay (ComUE)

La confiance formelle en une propriété abstraite provient de l'existence d'une preuve de sa correction, qu'il s'agisse d'un théorème mathématique ou d'une qualité du comportement… (more)

Subjects/Keywords: Démonstration automatique de théorèmes; Certificats de Preuve Fondamentaux; Assistants de preuve; Théorie de la démonstration; Aperçus de preuve; Logique computationnelle; Automated theorem proving; Foundational Proof Certificates; Proof assistants; Proof theory; Proof outlines; Computational logic; 005.115

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Blanco Martínez, R. (2017). Applications of Foundational Proof Certificates in theorem proving : Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2017SACLX111

Chicago Manual of Style (16th Edition):

Blanco Martínez, Roberto. “Applications of Foundational Proof Certificates in theorem proving : Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes.” 2017. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed September 19, 2020. http://www.theses.fr/2017SACLX111.

MLA Handbook (7th Edition):

Blanco Martínez, Roberto. “Applications of Foundational Proof Certificates in theorem proving : Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes.” 2017. Web. 19 Sep 2020.

Vancouver:

Blanco Martínez R. Applications of Foundational Proof Certificates in theorem proving : Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2017. [cited 2020 Sep 19]. Available from: http://www.theses.fr/2017SACLX111.

Council of Science Editors:

Blanco Martínez R. Applications of Foundational Proof Certificates in theorem proving : Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2017. Available from: http://www.theses.fr/2017SACLX111


University of St Andrews

25. Chapman, Peter. Tools and techniques for formalising structural proof theory.

Degree: PhD, 2010, University of St Andrews

 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms… (more)

Subjects/Keywords: 518; Proof theory; Formalisation; Sequent calculus; Invertibility; QA9.54C52; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chapman, P. (2010). Tools and techniques for formalising structural proof theory. (Doctoral Dissertation). University of St Andrews. Retrieved from http://hdl.handle.net/10023/933

Chicago Manual of Style (16th Edition):

Chapman, Peter. “Tools and techniques for formalising structural proof theory.” 2010. Doctoral Dissertation, University of St Andrews. Accessed September 19, 2020. http://hdl.handle.net/10023/933.

MLA Handbook (7th Edition):

Chapman, Peter. “Tools and techniques for formalising structural proof theory.” 2010. Web. 19 Sep 2020.

Vancouver:

Chapman P. Tools and techniques for formalising structural proof theory. [Internet] [Doctoral dissertation]. University of St Andrews; 2010. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10023/933.

Council of Science Editors:

Chapman P. Tools and techniques for formalising structural proof theory. [Doctoral Dissertation]. University of St Andrews; 2010. Available from: http://hdl.handle.net/10023/933


University of Alberta

26. Ozcevik, Ozkan. Conditional Sentences in Belief Revison Systems.

Degree: MA, Department of Philosophy, 2015, University of Alberta

 The first chapter of the thesis presents Frank P. Ramsey [1960]’s seminal treatment of “If ... , then ...” statements. We also explain how Stalnaker… (more)

Subjects/Keywords: belief revision; proof theory; conditionals; belief update; logic; counterfactuals; natura deduction; Ramsey test

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ozcevik, O. (2015). Conditional Sentences in Belief Revison Systems. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/fx719q05f

Chicago Manual of Style (16th Edition):

Ozcevik, Ozkan. “Conditional Sentences in Belief Revison Systems.” 2015. Masters Thesis, University of Alberta. Accessed September 19, 2020. https://era.library.ualberta.ca/files/fx719q05f.

MLA Handbook (7th Edition):

Ozcevik, Ozkan. “Conditional Sentences in Belief Revison Systems.” 2015. Web. 19 Sep 2020.

Vancouver:

Ozcevik O. Conditional Sentences in Belief Revison Systems. [Internet] [Masters thesis]. University of Alberta; 2015. [cited 2020 Sep 19]. Available from: https://era.library.ualberta.ca/files/fx719q05f.

Council of Science Editors:

Ozcevik O. Conditional Sentences in Belief Revison Systems. [Masters Thesis]. University of Alberta; 2015. Available from: https://era.library.ualberta.ca/files/fx719q05f


Université de Grenoble

27. Hatat, Florian. Jeux graphiques et théorie de la démonstration : Graphical games and proof theory.

Degree: Docteur es, Mathématiques et Informatique, 2013, Université de Grenoble

Ce travail est une contribution à la sémantique de jeux des langages de programmation. Il présente plusieurs méthodes nouvelles pour construire une sémantique de jeux… (more)

Subjects/Keywords: Théorie de la démonstration; Foncteurs polynomiaux; Préfaisceaux; Proof theory; Polynomial functors; Presheaves; 510; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hatat, F. (2013). Jeux graphiques et théorie de la démonstration : Graphical games and proof theory. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2013GRENM083

Chicago Manual of Style (16th Edition):

Hatat, Florian. “Jeux graphiques et théorie de la démonstration : Graphical games and proof theory.” 2013. Doctoral Dissertation, Université de Grenoble. Accessed September 19, 2020. http://www.theses.fr/2013GRENM083.

MLA Handbook (7th Edition):

Hatat, Florian. “Jeux graphiques et théorie de la démonstration : Graphical games and proof theory.” 2013. Web. 19 Sep 2020.

Vancouver:

Hatat F. Jeux graphiques et théorie de la démonstration : Graphical games and proof theory. [Internet] [Doctoral dissertation]. Université de Grenoble; 2013. [cited 2020 Sep 19]. Available from: http://www.theses.fr/2013GRENM083.

Council of Science Editors:

Hatat F. Jeux graphiques et théorie de la démonstration : Graphical games and proof theory. [Doctoral Dissertation]. Université de Grenoble; 2013. Available from: http://www.theses.fr/2013GRENM083


Ohio University

28. Bubp, Kelly M. To Prove or Disprove: The Use of Intuition and Analysis by Undergraduate Students to Decide on the Truth Value of Mathematical Statements and Construct Proofs and Counterexamples.

Degree: PhD, Curriculum and Instruction Mathematics Education (Education), 2014, Ohio University

 Deciding on the truth value of mathematical statements is an essential aspect of mathematical practice in which students are rarely engaged. This study explored undergraduate… (more)

Subjects/Keywords: Mathematics Education; mathematical proof; intuition; dual-process theory; semantic and syntactic reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bubp, K. M. (2014). To Prove or Disprove: The Use of Intuition and Analysis by Undergraduate Students to Decide on the Truth Value of Mathematical Statements and Construct Proofs and Counterexamples. (Doctoral Dissertation). Ohio University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1417178872

Chicago Manual of Style (16th Edition):

Bubp, Kelly M. “To Prove or Disprove: The Use of Intuition and Analysis by Undergraduate Students to Decide on the Truth Value of Mathematical Statements and Construct Proofs and Counterexamples.” 2014. Doctoral Dissertation, Ohio University. Accessed September 19, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1417178872.

MLA Handbook (7th Edition):

Bubp, Kelly M. “To Prove or Disprove: The Use of Intuition and Analysis by Undergraduate Students to Decide on the Truth Value of Mathematical Statements and Construct Proofs and Counterexamples.” 2014. Web. 19 Sep 2020.

Vancouver:

Bubp KM. To Prove or Disprove: The Use of Intuition and Analysis by Undergraduate Students to Decide on the Truth Value of Mathematical Statements and Construct Proofs and Counterexamples. [Internet] [Doctoral dissertation]. Ohio University; 2014. [cited 2020 Sep 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1417178872.

Council of Science Editors:

Bubp KM. To Prove or Disprove: The Use of Intuition and Analysis by Undergraduate Students to Decide on the Truth Value of Mathematical Statements and Construct Proofs and Counterexamples. [Doctoral Dissertation]. Ohio University; 2014. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1417178872

29. Dickson, Jessica. Godel's incompleteness theorems.

Degree: MS, Mathematics, 2011, Eastern Washington University

  "Incompleteness or inconsistency? Kurt Godel shocked the mathematical community in 1931 when he proved any effectively generated, sufficiently complex, and sound axiomatic system could… (more)

Subjects/Keywords: Logic; Symbolic and mathematical; Gödel's theorem; Proof theory; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dickson, J. (2011). Godel's incompleteness theorems. (Thesis). Eastern Washington University. Retrieved from https://dc.ewu.edu/theses/3

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Dickson, Jessica. “Godel's incompleteness theorems.” 2011. Thesis, Eastern Washington University. Accessed September 19, 2020. https://dc.ewu.edu/theses/3.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Dickson, Jessica. “Godel's incompleteness theorems.” 2011. Web. 19 Sep 2020.

Vancouver:

Dickson J. Godel's incompleteness theorems. [Internet] [Thesis]. Eastern Washington University; 2011. [cited 2020 Sep 19]. Available from: https://dc.ewu.edu/theses/3.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Dickson J. Godel's incompleteness theorems. [Thesis]. Eastern Washington University; 2011. Available from: https://dc.ewu.edu/theses/3

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Illinois – Chicago

30. D'Alessandro, William. Dimensions of Mathematical Explanation.

Degree: 2017, University of Illinois – Chicago

 My dissertation, Dimensions of Mathematical Explanation, consists of three essays. The first paper—“Arithmetic, Set Theory, Reduction and Explanation”—argues that viewing the natural numbers and arithmetical… (more)

Subjects/Keywords: Philosophy of mathematics; philosophy of science; mathematical explanation; scientific explanation; explanation; proof; set theory; arithmetic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

D'Alessandro, W. (2017). Dimensions of Mathematical Explanation. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/22171

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

D'Alessandro, William. “Dimensions of Mathematical Explanation.” 2017. Thesis, University of Illinois – Chicago. Accessed September 19, 2020. http://hdl.handle.net/10027/22171.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

D'Alessandro, William. “Dimensions of Mathematical Explanation.” 2017. Web. 19 Sep 2020.

Vancouver:

D'Alessandro W. Dimensions of Mathematical Explanation. [Internet] [Thesis]. University of Illinois – Chicago; 2017. [cited 2020 Sep 19]. Available from: http://hdl.handle.net/10027/22171.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

D'Alessandro W. Dimensions of Mathematical Explanation. [Thesis]. University of Illinois – Chicago; 2017. Available from: http://hdl.handle.net/10027/22171

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4]

.