Advanced search options

Advanced Search Options 🞨

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

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Logic AND Foundations of Mathematics). Showing records 1 – 30 of 70 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Country

▼ Search Limiters


University of Pennsylvania

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

Degree: 2017, University of Pennsylvania

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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


University of Western Ontario

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

Degree: 2012, University of Western Ontario

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

  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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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á

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th 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

  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… 

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 A suitable subcategory of affine Azumaya algebras is defined 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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/.

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

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

Note: this citation may be lacking information needed for this citation format:
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/

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

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

Degree: PhD, Mathematics, 2018, U of Denver

  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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

  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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

  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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

[1] [2] [3]

.