Advanced search options

Sorted by: relevance · author · university · date | New search

You searched for `subject:(Proof theory)`

.
Showing records 1 – 30 of
120 total matches.

Search Limiters

Dates

- 2016 – 2020 (41)
- 2011 – 2015 (35)
- 2006 – 2010 (19)
- 2001 – 2005 (19)

Degrees

- PhD (38)
- Docteur es (15)

▼ 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

URL: http://hdl.handle.net/1957/40916

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://scholarworks.gsu.edu/math_diss/46

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/1860/idea:7041

►

*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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

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

URL: http://hdl.handle.net/10210/6769

►

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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

Not specified: Masters Thesis or Doctoral Dissertation

Harvard University

5.
Merrill, Lauren.
Essays in Microeconomic * Theory*.

Degree: PhD, Economics, 2012, Harvard University

URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:9306422

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://rucore.libraries.rutgers.edu/rutgers-lib/50182/

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://rucore.libraries.rutgers.edu/rutgers-lib/51349/

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://scholarworks.gsu.edu/math_diss/72

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://repositorio.ufpe.br/handle/123456789/1418

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://digital.library.txstate.edu/handle/10877/5739

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://digital.library.txstate.edu/handle/10877/8392

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10724/25047

► 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://rave.ohiolink.edu/etdc/view?acc_num=osu1408722057

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://dc.ewu.edu/theses/172

► "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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/10023/13362

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10063/92

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/1807/92007

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/11343/50991

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10150/636511

► *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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://digital.library.unt.edu/ark:/67531/metadc332572/

► 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 Details Similar Records

❌

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

APA (6^{th} 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/

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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/.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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/.

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/

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

URL: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267

►

[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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/1854/LU-3170739

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/10023/16451

► 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

Record Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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)

URL: http://www.theses.fr/2017SACLX111

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10023/933

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://era.library.ualberta.ca/files/fx719q05f

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://www.theses.fr/2013GRENM083

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1417178872

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://dc.ewu.edu/theses/3

► "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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/10027/22171

► 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

Not specified: Masters Thesis or Doctoral Dissertation