Advanced search options

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

You searched for `subject:(Logic AND Foundations of Mathematics)`

.
Showing records 1 – 30 of
70 total matches.

Search Limiters

Dates

- 2015 – 2019 (17)
- 2010 – 2014 (35)
- 2005 – 2009 (11)

▼ Search Limiters

University of Pennsylvania

1. Cho, Simon Seamoon. Continuity In Enriched Categories And Metric Model Theory.

Degree: 2017, University of Pennsylvania

URL: https://repository.upenn.edu/edissertations/2227

► We explore aspects of continuity as they manifest in two separate settings - metric model theory (continuous *logic*) and enriched categories - and interpret the…
(more)

Subjects/Keywords: Logic and Foundations of Mathematics; Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Cho, S. S. (2017). Continuity In Enriched Categories And Metric Model Theory. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/2227

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):

Cho, Simon Seamoon. “Continuity In Enriched Categories And Metric Model Theory.” 2017. Thesis, University of Pennsylvania. Accessed September 15, 2019. https://repository.upenn.edu/edissertations/2227.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Cho, Simon Seamoon. “Continuity In Enriched Categories And Metric Model Theory.” 2017. Web. 15 Sep 2019.

Vancouver:

Cho SS. Continuity In Enriched Categories And Metric Model Theory. [Internet] [Thesis]. University of Pennsylvania; 2017. [cited 2019 Sep 15]. Available from: https://repository.upenn.edu/edissertations/2227.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cho SS. Continuity In Enriched Categories And Metric Model Theory. [Thesis]. University of Pennsylvania; 2017. Available from: https://repository.upenn.edu/edissertations/2227

Not specified: Masters Thesis or Doctoral Dissertation

University of Western Ontario

2. McDonald, Darren. Anti-Foundational Categorical Structuralism.

Degree: 2012, University of Western Ontario

URL: https://ir.lib.uwo.ca/etd/533

► The aim of this dissertation is to outline and defend the view here dubbed “anti-foundational categorical structuralism” (henceforth AFCS). The program put forth is intended…
(more)

Subjects/Keywords: category theory; philosophy; foundations of mathematics; structuralism; properties; mathematical truth; Logic and Foundations of Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

McDonald, D. (2012). Anti-Foundational Categorical Structuralism. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/533

Not specified: Masters Thesis or Doctoral Dissertation

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

McDonald, Darren. “Anti-Foundational Categorical Structuralism.” 2012. Thesis, University of Western Ontario. Accessed September 15, 2019. https://ir.lib.uwo.ca/etd/533.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

McDonald, Darren. “Anti-Foundational Categorical Structuralism.” 2012. Web. 15 Sep 2019.

Vancouver:

McDonald D. Anti-Foundational Categorical Structuralism. [Internet] [Thesis]. University of Western Ontario; 2012. [cited 2019 Sep 15]. Available from: https://ir.lib.uwo.ca/etd/533.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

McDonald D. Anti-Foundational Categorical Structuralism. [Thesis]. University of Western Ontario; 2012. Available from: https://ir.lib.uwo.ca/etd/533

Not specified: Masters Thesis or Doctoral Dissertation

University of Pennsylvania

3.
Dinesh, Nikhil.
Regulatory Conformance Checking: *Logic* and Logical Form.

Degree: 2010, University of Pennsylvania

URL: https://repository.upenn.edu/edissertations/295

► We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation…
(more)

Subjects/Keywords: modal logic; access control; conformance; deontic logic; logical form; scope; Logic and Foundations of Mathematics; Other Computer Engineering; Semantics and Pragmatics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Dinesh, N. (2010). Regulatory Conformance Checking: Logic and Logical Form. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/295

Not specified: Masters Thesis or Doctoral Dissertation

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

Dinesh, Nikhil. “Regulatory Conformance Checking: Logic and Logical Form.” 2010. Thesis, University of Pennsylvania. Accessed September 15, 2019. https://repository.upenn.edu/edissertations/295.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Dinesh, Nikhil. “Regulatory Conformance Checking: Logic and Logical Form.” 2010. Web. 15 Sep 2019.

Vancouver:

Dinesh N. Regulatory Conformance Checking: Logic and Logical Form. [Internet] [Thesis]. University of Pennsylvania; 2010. [cited 2019 Sep 15]. Available from: https://repository.upenn.edu/edissertations/295.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Dinesh N. Regulatory Conformance Checking: Logic and Logical Form. [Thesis]. University of Pennsylvania; 2010. Available from: https://repository.upenn.edu/edissertations/295

Not specified: Masters Thesis or Doctoral Dissertation

4.
Mulvihill, Corey Edward.
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic * Logic*.

Degree: 2015, University of Waterloo

URL: http://hdl.handle.net/10012/9643

► Hilbert’s choice operators τ and ε, when added to intuitionistic *logic*, strengthen it. In the presence of certain extensionality axioms they produce classical *logic*, while…
(more)

Subjects/Keywords: Logic; Foundations of Mathematics; Hilbert's Epsilon operator; Intermediate Logics; Intuitionism; Anti-Realism; Philosophy of Logic; Metaphysics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Mulvihill, C. E. (2015). Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/9643

Not specified: Masters Thesis or Doctoral Dissertation

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

Mulvihill, Corey Edward. “Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.” 2015. Thesis, University of Waterloo. Accessed September 15, 2019. http://hdl.handle.net/10012/9643.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Mulvihill, Corey Edward. “Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.” 2015. Web. 15 Sep 2019.

Vancouver:

Mulvihill CE. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic. [Internet] [Thesis]. University of Waterloo; 2015. [cited 2019 Sep 15]. Available from: http://hdl.handle.net/10012/9643.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mulvihill CE. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic. [Thesis]. University of Waterloo; 2015. Available from: http://hdl.handle.net/10012/9643

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

5.
Yim, Austin Vincent.
On Galois correspondences in formal * logic*.

Degree: PhD, 2012, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

► This thesis examines two approaches to Galois correspondences in formal *logic*. A standard result of classical first-order model theory is the observation that models of…
(more)

Subjects/Keywords: 511.3; Mathematics; Mathematical logic and foundations; Logic; Number theory; Mathematical logic; model theory; substructural logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Yim, A. V. (2012). On Galois correspondences in formal logic. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

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

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

MLA Handbook (7^{th} Edition):

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Web. 15 Sep 2019.

Vancouver:

Yim AV. On Galois correspondences in formal logic. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

Council of Science Editors:

Yim AV. On Galois correspondences in formal logic. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

McMaster University

6. Galaugher, Jolen B. Russell's Philosophical Approach to Logical Analysis.

Degree: PhD, 2011, McMaster University

URL: http://hdl.handle.net/11375/11631

►

In what is supposed to have been a radical break with neo-Hegelian idealism, Bertrand Russell, alongside G.E Moore, advocated the analysis of propositions by… (more)

Subjects/Keywords: Russell; logical analysis; logicism; decomposition; History of Philosophy; Logic and foundations of mathematics; History of Philosophy

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Galaugher, J. B. (2011). Russell's Philosophical Approach to Logical Analysis. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/11631

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

Galaugher, Jolen B. “Russell's Philosophical Approach to Logical Analysis.” 2011. Doctoral Dissertation, McMaster University. Accessed September 15, 2019. http://hdl.handle.net/11375/11631.

MLA Handbook (7^{th} Edition):

Galaugher, Jolen B. “Russell's Philosophical Approach to Logical Analysis.” 2011. Web. 15 Sep 2019.

Vancouver:

Galaugher JB. Russell's Philosophical Approach to Logical Analysis. [Internet] [Doctoral dissertation]. McMaster University; 2011. [cited 2019 Sep 15]. Available from: http://hdl.handle.net/11375/11631.

Council of Science Editors:

Galaugher JB. Russell's Philosophical Approach to Logical Analysis. [Doctoral Dissertation]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11631

University of Colorado

7. Scherer, Charles Frederich. Maximal Comparable and Incomparable Sets in Boolean Algebras.

Degree: PhD, Mathematics, 2016, University of Colorado

URL: http://scholar.colorado.edu/math_gradetds/43

► We consider the minimal possible sizes of both maximal comparable and maximal incomparable subsets of Boolean algebras. Comparability is given upper and lower bounds…
(more)

Subjects/Keywords: Boolean Algebras; Cardinal Invariants; Logic; Set Theory; Logic and Foundations; Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Scherer, C. F. (2016). Maximal Comparable and Incomparable Sets in Boolean Algebras. (Doctoral Dissertation). University of Colorado. Retrieved from http://scholar.colorado.edu/math_gradetds/43

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

Scherer, Charles Frederich. “Maximal Comparable and Incomparable Sets in Boolean Algebras.” 2016. Doctoral Dissertation, University of Colorado. Accessed September 15, 2019. http://scholar.colorado.edu/math_gradetds/43.

MLA Handbook (7^{th} Edition):

Scherer, Charles Frederich. “Maximal Comparable and Incomparable Sets in Boolean Algebras.” 2016. Web. 15 Sep 2019.

Vancouver:

Scherer CF. Maximal Comparable and Incomparable Sets in Boolean Algebras. [Internet] [Doctoral dissertation]. University of Colorado; 2016. [cited 2019 Sep 15]. Available from: http://scholar.colorado.edu/math_gradetds/43.

Council of Science Editors:

Scherer CF. Maximal Comparable and Incomparable Sets in Boolean Algebras. [Doctoral Dissertation]. University of Colorado; 2016. Available from: http://scholar.colorado.edu/math_gradetds/43

University of Western Ontario

8. Papagiannopoulos, Filippos A. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.

Degree: 2018, University of Western Ontario

URL: https://ir.lib.uwo.ca/etd/5660

► This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than…
(more)

Subjects/Keywords: Definitions of Algorithms; Real Computability; BSS model; Foundations of Scientific Computing; Analog Computing; Physical Models; Logic and Foundations of Mathematics; Philosophy of Science

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Papagiannopoulos, F. A. (2018). Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/5660

Not specified: Masters Thesis or Doctoral Dissertation

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

Papagiannopoulos, Filippos A. “Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.” 2018. Thesis, University of Western Ontario. Accessed September 15, 2019. https://ir.lib.uwo.ca/etd/5660.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Papagiannopoulos, Filippos A. “Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.” 2018. Web. 15 Sep 2019.

Vancouver:

Papagiannopoulos FA. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations. [Internet] [Thesis]. University of Western Ontario; 2018. [cited 2019 Sep 15]. Available from: https://ir.lib.uwo.ca/etd/5660.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Papagiannopoulos FA. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations. [Thesis]. University of Western Ontario; 2018. Available from: https://ir.lib.uwo.ca/etd/5660

Not specified: Masters Thesis or Doctoral Dissertation

University of Gothenburg / Göteborgs Universitet

9.
Kindvall Gorbow, Paul.
Self-similarity in the * foundations*.

Degree: 2018, University of Gothenburg / Göteborgs Universitet

URL: http://hdl.handle.net/2077/56240

► This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of…
(more)

Subjects/Keywords: Logic; Set theory; Category theory; Foundations of mathematics; Model theory; Categorical semantics; Algebraic set theory; Non-standard models

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Kindvall Gorbow, P. (2018). Self-similarity in the foundations. (Thesis). University of Gothenburg / Göteborgs Universitet. Retrieved from http://hdl.handle.net/2077/56240

Not specified: Masters Thesis or Doctoral Dissertation

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

Kindvall Gorbow, Paul. “Self-similarity in the foundations.” 2018. Thesis, University of Gothenburg / Göteborgs Universitet. Accessed September 15, 2019. http://hdl.handle.net/2077/56240.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Kindvall Gorbow, Paul. “Self-similarity in the foundations.” 2018. Web. 15 Sep 2019.

Vancouver:

Kindvall Gorbow P. Self-similarity in the foundations. [Internet] [Thesis]. University of Gothenburg / Göteborgs Universitet; 2018. [cited 2019 Sep 15]. Available from: http://hdl.handle.net/2077/56240.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kindvall Gorbow P. Self-similarity in the foundations. [Thesis]. University of Gothenburg / Göteborgs Universitet; 2018. Available from: http://hdl.handle.net/2077/56240

Not specified: Masters Thesis or Doctoral Dissertation

10.
Pablo Mayckon Silva Farias.
A study about the origins of Mathematical *Logic* and the limits of its applicability to the formalization of * Mathematics*.

Degree: Master, 2007, Universidade Federal do Ceará

URL: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;

►

Este trabalho Ã um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, Ã apresentada… (more)

Subjects/Keywords: LOGICA MATEMATICA; LÃgica MatemÃtica; Fundamentos da MatemÃtica; Teoremas de incompletude de GÃdel; Mathematical Logic; Foundations of Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Farias, P. M. S. (2007). A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;

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

Farias, Pablo Mayckon Silva. “A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics.” 2007. Masters Thesis, Universidade Federal do Ceará. Accessed September 15, 2019. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;.

MLA Handbook (7^{th} Edition):

Farias, Pablo Mayckon Silva. “A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics.” 2007. Web. 15 Sep 2019.

Vancouver:

Farias PMS. A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics. [Internet] [Masters thesis]. Universidade Federal do Ceará 2007. [cited 2019 Sep 15]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;.

Council of Science Editors:

Farias PMS. A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics. [Masters Thesis]. Universidade Federal do Ceará 2007. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;

McMaster University

11. Zhong, Haixia. DIAGONALIZATION AND LOGICAL PARADOXES.

Degree: PhD, 2013, McMaster University

URL: http://hdl.handle.net/11375/13307

►

The purpose of this dissertation is to provide a proper treatment for two groups of logical paradoxes: semantic paradoxes and set-theoretic paradoxes. My main… (more)

Subjects/Keywords: Diagonalization; Logical Paradoxes; Semantic Paradoxes; Set-theoretic Paradoxes; The Liar Paradox; The Revenge of the Liar; The Heterological Paradox; Berry's Paradox; Definability; Representational Predicates; Truth-gap Theory; Deflationary Theory of Truth; Logic and foundations of mathematics; Philosophy of Language; Logic and foundations of mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Zhong, H. (2013). DIAGONALIZATION AND LOGICAL PARADOXES. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/13307

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

Zhong, Haixia. “DIAGONALIZATION AND LOGICAL PARADOXES.” 2013. Doctoral Dissertation, McMaster University. Accessed September 15, 2019. http://hdl.handle.net/11375/13307.

MLA Handbook (7^{th} Edition):

Zhong, Haixia. “DIAGONALIZATION AND LOGICAL PARADOXES.” 2013. Web. 15 Sep 2019.

Vancouver:

Zhong H. DIAGONALIZATION AND LOGICAL PARADOXES. [Internet] [Doctoral dissertation]. McMaster University; 2013. [cited 2019 Sep 15]. Available from: http://hdl.handle.net/11375/13307.

Council of Science Editors:

Zhong H. DIAGONALIZATION AND LOGICAL PARADOXES. [Doctoral Dissertation]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13307

12.
Yeakel, Daniel.
An Argument For A Neutral Free * Logic*.

Degree: PhD, Philosophy, 2015, Wayne State University

URL: https://digitalcommons.wayne.edu/oa_dissertations/1177

► I argue for a neutral free *logic* is a *logic* wherein sentences containing non-referring terms do not have truth value. The primary support for…
(more)

Subjects/Keywords: Neutral Free Logic; Logic and Foundations of Mathematics; Philosophy

…Neutral Free *Logic*—The Master Argument
Call a sentence *of* the form ‗c exists‘ a simple existence… …its own motivation: *logic* is the study *of*
correct inferences, and determinations *of* correct… …two I will consider two ways *of* denying the validity *of* (EG): positive free *logic*… …negative free *logic* would be
preferable to one allowing a lack *of* truth value. In chapter three I… …support for negative free *logic*, and leave only the
question *of* exactly what flavor *of* neutral…

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Yeakel, D. (2015). An Argument For A Neutral Free Logic. (Doctoral Dissertation). Wayne State University. Retrieved from https://digitalcommons.wayne.edu/oa_dissertations/1177

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

Yeakel, Daniel. “An Argument For A Neutral Free Logic.” 2015. Doctoral Dissertation, Wayne State University. Accessed September 15, 2019. https://digitalcommons.wayne.edu/oa_dissertations/1177.

MLA Handbook (7^{th} Edition):

Yeakel, Daniel. “An Argument For A Neutral Free Logic.” 2015. Web. 15 Sep 2019.

Vancouver:

Yeakel D. An Argument For A Neutral Free Logic. [Internet] [Doctoral dissertation]. Wayne State University; 2015. [cited 2019 Sep 15]. Available from: https://digitalcommons.wayne.edu/oa_dissertations/1177.

Council of Science Editors:

Yeakel D. An Argument For A Neutral Free Logic. [Doctoral Dissertation]. Wayne State University; 2015. Available from: https://digitalcommons.wayne.edu/oa_dissertations/1177

University of Oxford

13. Smith, Michael Anthony. Embedding an object calculus in the unifying theories of programming.

Degree: 2010, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514995

► Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relational predicates. This theory is intended to provide a single…
(more)

Subjects/Keywords: 004.01; Software engineering : Mathematical logic and foundations : Computer science (mathematics) : Art : Computing : Computing Mathematics : Mathematics Computing : unifying theories of programming : predicative programming : object orientation : object calculus : object references : pointers

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Smith, M. A. (2010). Embedding an object calculus in the unifying theories of programming. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514995

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

Smith, Michael Anthony. “Embedding an object calculus in the unifying theories of programming.” 2010. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514995.

MLA Handbook (7^{th} Edition):

Smith, Michael Anthony. “Embedding an object calculus in the unifying theories of programming.” 2010. Web. 15 Sep 2019.

Vancouver:

Smith MA. Embedding an object calculus in the unifying theories of programming. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514995.

Council of Science Editors:

Smith MA. Embedding an object calculus in the unifying theories of programming. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514995

University of Oxford

14. D'Silva, Vijay Victor. Logical abstract interpretation.

Degree: PhD, 2013, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

► Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of *logic* and abstract…
(more)

Subjects/Keywords: 005.115; Computer science (mathematics); Mathematical logic and foundations; Logic; Lattice Theory; Abstract Interpretation

Record Details Similar Records

❌

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

APA (6^{th} Edition):

D'Silva, V. V. (2013). Logical abstract interpretation. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

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

D'Silva, Vijay Victor. “Logical abstract interpretation.” 2013. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322.

MLA Handbook (7^{th} Edition):

D'Silva, Vijay Victor. “Logical abstract interpretation.” 2013. Web. 15 Sep 2019.

Vancouver:

D'Silva VV. Logical abstract interpretation. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322.

Council of Science Editors:

D'Silva VV. Logical abstract interpretation. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

University of Oxford

15. Solanki, Vinesh. Zariski structures in noncommutative algebraic geometry and representation theory.

Degree: PhD, 2011, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659

► A suitable subcategory of aﬃne Azumaya algebras is deﬁned and a functor from this category to the category of Zariski structures is constructed. The rudiments…
(more)

Subjects/Keywords: 576.35; Mathematical logic and foundations; Algebraic geometry; Quantum theory (mathematics)

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Solanki, V. (2011). Zariski structures in noncommutative algebraic geometry and representation theory. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659

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

Solanki, Vinesh. “Zariski structures in noncommutative algebraic geometry and representation theory.” 2011. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659.

MLA Handbook (7^{th} Edition):

Solanki, Vinesh. “Zariski structures in noncommutative algebraic geometry and representation theory.” 2011. Web. 15 Sep 2019.

Vancouver:

Solanki V. Zariski structures in noncommutative algebraic geometry and representation theory. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659.

Council of Science Editors:

Solanki V. Zariski structures in noncommutative algebraic geometry and representation theory. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659

University of Colorado

16. Moorhead, Andrew Paul. Higher Commutator Theory for Congruence Modular Varieties.

Degree: PhD, Mathematics, 2016, University of Colorado

URL: https://scholar.colorado.edu/math_gradetds/52

We develop the theory of the higher commutator for congruence modular varieties.
*Advisors/Committee Members: Keith Kearnes, Agnes Szendrei, Peter Mayr, Miklos Maroti, Jakub Bulin.*

Subjects/Keywords: Commutator Theory; Congruence Modular; Universal Algebra; Variety; Logic and Foundations of Mathematics; Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Moorhead, A. P. (2016). Higher Commutator Theory for Congruence Modular Varieties. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/math_gradetds/52

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

Moorhead, Andrew Paul. “Higher Commutator Theory for Congruence Modular Varieties.” 2016. Doctoral Dissertation, University of Colorado. Accessed September 15, 2019. https://scholar.colorado.edu/math_gradetds/52.

MLA Handbook (7^{th} Edition):

Moorhead, Andrew Paul. “Higher Commutator Theory for Congruence Modular Varieties.” 2016. Web. 15 Sep 2019.

Vancouver:

Moorhead AP. Higher Commutator Theory for Congruence Modular Varieties. [Internet] [Doctoral dissertation]. University of Colorado; 2016. [cited 2019 Sep 15]. Available from: https://scholar.colorado.edu/math_gradetds/52.

Council of Science Editors:

Moorhead AP. Higher Commutator Theory for Congruence Modular Varieties. [Doctoral Dissertation]. University of Colorado; 2016. Available from: https://scholar.colorado.edu/math_gradetds/52

University of North Texas

17. Bryant, Ross. A Computation of Partial Isomorphism Rank on Ordinal Structures.

Degree: 2006, University of North Texas

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

► We compute the partial isomorphism rank, in the sense Scott and Karp, of a pair of ordinal structures using an Ehrenfeucht-Fraisse game. A complete formula…
(more)

Subjects/Keywords: set theory; model theory; logic; foundations of mathematics; Isomorphisms (Mathematics)

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Bryant, R. (2006). A Computation of Partial Isomorphism Rank on Ordinal Structures. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc5387/

Not specified: Masters Thesis or Doctoral Dissertation

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

Bryant, Ross. “A Computation of Partial Isomorphism Rank on Ordinal Structures.” 2006. Thesis, University of North Texas. Accessed September 15, 2019. https://digital.library.unt.edu/ark:/67531/metadc5387/.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Bryant, Ross. “A Computation of Partial Isomorphism Rank on Ordinal Structures.” 2006. Web. 15 Sep 2019.

Vancouver:

Bryant R. A Computation of Partial Isomorphism Rank on Ordinal Structures. [Internet] [Thesis]. University of North Texas; 2006. [cited 2019 Sep 15]. Available from: https://digital.library.unt.edu/ark:/67531/metadc5387/.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bryant R. A Computation of Partial Isomorphism Rank on Ordinal Structures. [Thesis]. University of North Texas; 2006. Available from: https://digital.library.unt.edu/ark:/67531/metadc5387/

Not specified: Masters Thesis or Doctoral Dissertation

18. Fussner, Daniel Wesley. Categories of Residuated Lattices.

Degree: PhD, Mathematics, 2018, U of Denver

URL: https://digitalcommons.du.edu/etd/1527

► We present dual variants of two algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions,…
(more)

Subjects/Keywords: Algebraic logic; Categorical equivalences; Duality theory; Residuated lattices; Substructural logic; Topological dualities; Algebra; Logic and Foundations; Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Fussner, D. W. (2018). Categories of Residuated Lattices. (Doctoral Dissertation). U of Denver. Retrieved from https://digitalcommons.du.edu/etd/1527

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

Fussner, Daniel Wesley. “Categories of Residuated Lattices.” 2018. Doctoral Dissertation, U of Denver. Accessed September 15, 2019. https://digitalcommons.du.edu/etd/1527.

MLA Handbook (7^{th} Edition):

Fussner, Daniel Wesley. “Categories of Residuated Lattices.” 2018. Web. 15 Sep 2019.

Vancouver:

Fussner DW. Categories of Residuated Lattices. [Internet] [Doctoral dissertation]. U of Denver; 2018. [cited 2019 Sep 15]. Available from: https://digitalcommons.du.edu/etd/1527.

Council of Science Editors:

Fussner DW. Categories of Residuated Lattices. [Doctoral Dissertation]. U of Denver; 2018. Available from: https://digitalcommons.du.edu/etd/1527

Marshall University

19.
Saadaoui, Alaeddine.
On the *Logic* of Reverse * Mathematics*.

Degree: 2012, Marshall University

URL: http://mds.marshall.edu/etd/234

► The goal of reverse *mathematics* is to study the implication and non-implication relationships between theorems. These relationships have their own internal *logic*, allowing some implications…
(more)

Subjects/Keywords: Logic; Reverse Mathematics; <; p>; Reverse mathematics.<; /p>; <; p>; Logic - Mathematics.<; /p>;

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Saadaoui, A. (2012). On the Logic of Reverse Mathematics. (Thesis). Marshall University. Retrieved from http://mds.marshall.edu/etd/234

Not specified: Masters Thesis or Doctoral Dissertation

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

Saadaoui, Alaeddine. “On the Logic of Reverse Mathematics.” 2012. Thesis, Marshall University. Accessed September 15, 2019. http://mds.marshall.edu/etd/234.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Saadaoui, Alaeddine. “On the Logic of Reverse Mathematics.” 2012. Web. 15 Sep 2019.

Vancouver:

Saadaoui A. On the Logic of Reverse Mathematics. [Internet] [Thesis]. Marshall University; 2012. [cited 2019 Sep 15]. Available from: http://mds.marshall.edu/etd/234.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Saadaoui A. On the Logic of Reverse Mathematics. [Thesis]. Marshall University; 2012. Available from: http://mds.marshall.edu/etd/234

Not specified: Masters Thesis or Doctoral Dissertation

University of Colorado

20. Moore, Matthew Dale. The Undecidability of the Definability of Principal Subcongruences.

Degree: PhD, Mathematics, 2013, University of Colorado

URL: http://scholar.colorado.edu/esbm_gradetds/2

► For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only…
(more)

Subjects/Keywords: definable principal subcongruences; Turing machine; undecidable; Computer Sciences; Logic and Foundations; Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Moore, M. D. (2013). The Undecidability of the Definability of Principal Subcongruences. (Doctoral Dissertation). University of Colorado. Retrieved from http://scholar.colorado.edu/esbm_gradetds/2

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

Moore, Matthew Dale. “The Undecidability of the Definability of Principal Subcongruences.” 2013. Doctoral Dissertation, University of Colorado. Accessed September 15, 2019. http://scholar.colorado.edu/esbm_gradetds/2.

MLA Handbook (7^{th} Edition):

Moore, Matthew Dale. “The Undecidability of the Definability of Principal Subcongruences.” 2013. Web. 15 Sep 2019.

Vancouver:

Moore MD. The Undecidability of the Definability of Principal Subcongruences. [Internet] [Doctoral dissertation]. University of Colorado; 2013. [cited 2019 Sep 15]. Available from: http://scholar.colorado.edu/esbm_gradetds/2.

Council of Science Editors:

Moore MD. The Undecidability of the Definability of Principal Subcongruences. [Doctoral Dissertation]. University of Colorado; 2013. Available from: http://scholar.colorado.edu/esbm_gradetds/2

McMaster University

21.
Hu, Qian.
REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED * LOGIC*.

Degree: MSc, 2011, McMaster University

URL: http://hdl.handle.net/11375/11471

►

Effective definedness checking is crucial for an implementation of a *logic* with undefinedness. The objective of the MathScheme project is to develop a new…
(more)

Subjects/Keywords: Undefinedness; AND/OR Tree; MathScheme; Chiron; Mechanized Mathematics; Computer Sciences; Logic and Foundations; Computer Sciences

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Hu, Q. (2011). REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/11471

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

Hu, Qian. “REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC.” 2011. Masters Thesis, McMaster University. Accessed September 15, 2019. http://hdl.handle.net/11375/11471.

MLA Handbook (7^{th} Edition):

Hu, Qian. “REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC.” 2011. Web. 15 Sep 2019.

Vancouver:

Hu Q. REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC. [Internet] [Masters thesis]. McMaster University; 2011. [cited 2019 Sep 15]. Available from: http://hdl.handle.net/11375/11471.

Council of Science Editors:

Hu Q. REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC. [Masters Thesis]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11471

McMaster University

22. Coren, Daniel. The Power of a Paradox: the Ancient and Contemporary Liar.

Degree: MA, 2013, McMaster University

URL: http://hdl.handle.net/11375/13207

►

This sentence is whatever truth is not. The *subject* of this master’s thesis is the power, influence, and solvability of the liar paradox. This…
(more)

Subjects/Keywords: Liar paradox; Eubulides; Tarski's hierarchy of languages; Revenge of the liar; Paradox of the stone; Dialetheist solution; History of Philosophy; Logic and foundations of mathematics; Metaphysics; Philosophy of Language; History of Philosophy

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Coren, D. (2013). The Power of a Paradox: the Ancient and Contemporary Liar. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13207

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

Coren, Daniel. “The Power of a Paradox: the Ancient and Contemporary Liar.” 2013. Masters Thesis, McMaster University. Accessed September 15, 2019. http://hdl.handle.net/11375/13207.

MLA Handbook (7^{th} Edition):

Coren, Daniel. “The Power of a Paradox: the Ancient and Contemporary Liar.” 2013. Web. 15 Sep 2019.

Vancouver:

Coren D. The Power of a Paradox: the Ancient and Contemporary Liar. [Internet] [Masters thesis]. McMaster University; 2013. [cited 2019 Sep 15]. Available from: http://hdl.handle.net/11375/13207.

Council of Science Editors:

Coren D. The Power of a Paradox: the Ancient and Contemporary Liar. [Masters Thesis]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13207

California State University – San Bernardino

23.
Pierpoint, Alan S.
* Logic*: The first term revisited.

Degree: MAin English Composition, English, 1995, California State University – San Bernardino

URL: http://scholarworks.lib.csusb.edu/etd-project/480

Subjects/Keywords: Reasoning; Thought and thinking; Logic in teaching; Logic and Foundations of Mathematics; Reading and Language

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Pierpoint, A. S. (1995). Logic: The first term revisited. (Thesis). California State University – San Bernardino. Retrieved from http://scholarworks.lib.csusb.edu/etd-project/480

Not specified: Masters Thesis or Doctoral Dissertation

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

Pierpoint, Alan S. “Logic: The first term revisited.” 1995. Thesis, California State University – San Bernardino. Accessed September 15, 2019. http://scholarworks.lib.csusb.edu/etd-project/480.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Pierpoint, Alan S. “Logic: The first term revisited.” 1995. Web. 15 Sep 2019.

Vancouver:

Pierpoint AS. Logic: The first term revisited. [Internet] [Thesis]. California State University – San Bernardino; 1995. [cited 2019 Sep 15]. Available from: http://scholarworks.lib.csusb.edu/etd-project/480.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pierpoint AS. Logic: The first term revisited. [Thesis]. California State University – San Bernardino; 1995. Available from: http://scholarworks.lib.csusb.edu/etd-project/480

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

24. Kirby, P. J. The theory of exponential differential equations.

Degree: 2006, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471

► This thesis is a model-theoretic study of exponential differential equations in the context of differential algebra. I define the theory of a set of differential…
(more)

Subjects/Keywords: 515.35; Mathematical logic and foundations

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Kirby, P. J. (2006). The theory of exponential differential equations. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471

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

Kirby, P J. “The theory of exponential differential equations.” 2006. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471.

MLA Handbook (7^{th} Edition):

Kirby, P J. “The theory of exponential differential equations.” 2006. Web. 15 Sep 2019.

Vancouver:

Kirby PJ. The theory of exponential differential equations. [Internet] [Doctoral dissertation]. University of Oxford; 2006. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471.

Council of Science Editors:

Kirby PJ. The theory of exponential differential equations. [Doctoral Dissertation]. University of Oxford; 2006. Available from: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471

University of Oxford

25. Jahnke, Franziska Maxie. Definable henselian valuations and absolute Galois groups.

Degree: PhD, 2014, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

► This thesis investigates the connections between henselian valuations and absolute Galois groups. There are fundamental links between these: On one hand, the absolute Galois group…
(more)

Subjects/Keywords: 515; Mathematical logic and foundations; Valuations; Henselian; Absolute Galois Theory; Model Theory of Fields; Definability

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Jahnke, F. M. (2014). Definable henselian valuations and absolute Galois groups. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

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

Jahnke, Franziska Maxie. “Definable henselian valuations and absolute Galois groups.” 2014. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025.

MLA Handbook (7^{th} Edition):

Jahnke, Franziska Maxie. “Definable henselian valuations and absolute Galois groups.” 2014. Web. 15 Sep 2019.

Vancouver:

Jahnke FM. Definable henselian valuations and absolute Galois groups. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025.

Council of Science Editors:

Jahnke FM. Definable henselian valuations and absolute Galois groups. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

Marshall University

26.
Tivener, Devon A.
* Mathematics* in Motion: Linear Systems of Differential Equations on the Differential Analyzer.

Degree: 2010, Marshall University

URL: http://mds.marshall.edu/etd/281

► In this work, I will provide an introduction to the differential analyzer, a machine designed to solve differential equations through a process called mechanical integration.…
(more)

Subjects/Keywords: autonomous systems of differential equations; Differential Analyzer; differential equations; equilibrium solutions; <; p>; Differential equations.<; /p>; <; p>; Differential analyzers.<; /p>;

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Tivener, D. A. (2010). Mathematics in Motion: Linear Systems of Differential Equations on the Differential Analyzer. (Thesis). Marshall University. Retrieved from http://mds.marshall.edu/etd/281

Not specified: Masters Thesis or Doctoral Dissertation

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

Tivener, Devon A. “Mathematics in Motion: Linear Systems of Differential Equations on the Differential Analyzer.” 2010. Thesis, Marshall University. Accessed September 15, 2019. http://mds.marshall.edu/etd/281.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Tivener, Devon A. “Mathematics in Motion: Linear Systems of Differential Equations on the Differential Analyzer.” 2010. Web. 15 Sep 2019.

Vancouver:

Tivener DA. Mathematics in Motion: Linear Systems of Differential Equations on the Differential Analyzer. [Internet] [Thesis]. Marshall University; 2010. [cited 2019 Sep 15]. Available from: http://mds.marshall.edu/etd/281.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tivener DA. Mathematics in Motion: Linear Systems of Differential Equations on the Differential Analyzer. [Thesis]. Marshall University; 2010. Available from: http://mds.marshall.edu/etd/281

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

27. Simaitis, Aistis. Automatic verification of competitive stochastic systems.

Degree: PhD, 2014, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:68b5e2d8-ba04-419f-8926-4cd542121e2d ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604538

► In this thesis we present a framework for automatic formal analysis of competitive stochastic systems, such as sensor networks, decentralised resource management schemes or distributed…
(more)

Subjects/Keywords: 519; Computer science (mathematics); Game theory,economics,social and behavioral sciences (mathematics); Mathematical logic and foundations; Markov chains; stochastic games; probabilistic logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Simaitis, A. (2014). Automatic verification of competitive stochastic systems. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:68b5e2d8-ba04-419f-8926-4cd542121e2d ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604538

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

Simaitis, Aistis. “Automatic verification of competitive stochastic systems.” 2014. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:68b5e2d8-ba04-419f-8926-4cd542121e2d ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604538.

MLA Handbook (7^{th} Edition):

Simaitis, Aistis. “Automatic verification of competitive stochastic systems.” 2014. Web. 15 Sep 2019.

Vancouver:

Simaitis A. Automatic verification of competitive stochastic systems. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:68b5e2d8-ba04-419f-8926-4cd542121e2d ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604538.

Council of Science Editors:

Simaitis A. Automatic verification of competitive stochastic systems. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:68b5e2d8-ba04-419f-8926-4cd542121e2d ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604538

University of Oxford

28. Atzemoglou, George Philip. Higher-order semantics for quantum programming languages with classical control.

Degree: PhD, 2012, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588403

► This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation…
(more)

Subjects/Keywords: 006.3; Theory and automated verification; Computer science (mathematics); Mathematical logic and foundations; Quantum theory (mathematics); computer science; quantum computing; programming languages; lambda calculus; category theory; logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Atzemoglou, G. P. (2012). Higher-order semantics for quantum programming languages with classical control. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588403

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

Atzemoglou, George Philip. “Higher-order semantics for quantum programming languages with classical control.” 2012. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588403.

MLA Handbook (7^{th} Edition):

Atzemoglou, George Philip. “Higher-order semantics for quantum programming languages with classical control.” 2012. Web. 15 Sep 2019.

Vancouver:

Atzemoglou GP. Higher-order semantics for quantum programming languages with classical control. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588403.

Council of Science Editors:

Atzemoglou GP. Higher-order semantics for quantum programming languages with classical control. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588403

29. Cardona Fuentes, Riquelmi Salvador. The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL.

Degree: PhD, Mathematics, 2015, U of Denver

URL: https://digitalcommons.du.edu/etd/1016

► Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to…
(more)

Subjects/Keywords: Distributive Lattices; Finite Embeddability Property; Knotted Axioms; Residuated Lattices; Strong Finite Model Property; Substructural Logics; Logic and Foundations; Mathematics

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Cardona Fuentes, R. S. (2015). The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL. (Doctoral Dissertation). U of Denver. Retrieved from https://digitalcommons.du.edu/etd/1016

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

Cardona Fuentes, Riquelmi Salvador. “The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL.” 2015. Doctoral Dissertation, U of Denver. Accessed September 15, 2019. https://digitalcommons.du.edu/etd/1016.

MLA Handbook (7^{th} Edition):

Cardona Fuentes, Riquelmi Salvador. “The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL.” 2015. Web. 15 Sep 2019.

Vancouver:

Cardona Fuentes RS. The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL. [Internet] [Doctoral dissertation]. U of Denver; 2015. [cited 2019 Sep 15]. Available from: https://digitalcommons.du.edu/etd/1016.

Council of Science Editors:

Cardona Fuentes RS. The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL. [Doctoral Dissertation]. U of Denver; 2015. Available from: https://digitalcommons.du.edu/etd/1016

University of Oxford

30. Shearer, Robert D. C. Scalable reasoning for description logics.

Degree: 2011, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

► Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SROIQ provides the logical underpinning for the semantic web…
(more)

Subjects/Keywords: 005.3; Computer science (mathematics) : Mathematical logic and foundations : Applications and algorithms : description logics : automated reasoning : classification

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Shearer, R. D. C. (2011). Scalable reasoning for description logics. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

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

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Doctoral Dissertation, University of Oxford. Accessed September 15, 2019. http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

MLA Handbook (7^{th} Edition):

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Web. 15 Sep 2019.

Vancouver:

Shearer RDC. Scalable reasoning for description logics. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2019 Sep 15]. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

Council of Science Editors:

Shearer RDC. Scalable reasoning for description logics. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275