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). Showing records 1 – 30 of 5064 total matches.

[1] [2] [3] [4] [5] … [169]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters


University of California, Berkeley

1. Pal, Koushik. Uniform Theory of Multiplicative Valued Difference Fields.

Degree: 2011, University of California, Berkeley

  The first part of the thesis concerns the existence of model companions of certain unstable theories with automorphisms. Let <i>T</i> be a first-order theory… (more)

Subjects/Keywords: Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pal, K. (2011). Uniform Theory of Multiplicative Valued Difference Fields. (Thesis). University of California, Berkeley. Retrieved from http://pqdtopen.proquest.com/#viewpdf?dispub=3469472

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

Pal, Koushik. “Uniform Theory of Multiplicative Valued Difference Fields.” 2011. Thesis, University of California, Berkeley. Accessed September 29, 2020. http://pqdtopen.proquest.com/#viewpdf?dispub=3469472.

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

MLA Handbook (7th Edition):

Pal, Koushik. “Uniform Theory of Multiplicative Valued Difference Fields.” 2011. Web. 29 Sep 2020.

Vancouver:

Pal K. Uniform Theory of Multiplicative Valued Difference Fields. [Internet] [Thesis]. University of California, Berkeley; 2011. [cited 2020 Sep 29]. Available from: http://pqdtopen.proquest.com/#viewpdf?dispub=3469472.

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

Council of Science Editors:

Pal K. Uniform Theory of Multiplicative Valued Difference Fields. [Thesis]. University of California, Berkeley; 2011. Available from: http://pqdtopen.proquest.com/#viewpdf?dispub=3469472

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


University of Manchester

2. Trybus, Adam. An Axiom System for a Spatial Logic with Convexity.

Degree: 2012, University of Manchester

 A spatial logic is any formal language with geometric interpretation. Research on region-based spatial logics, where variables are set to range over certain subsets of… (more)

Subjects/Keywords: logic; mathematical logic; spatial logic; convexity; axiomatization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Trybus, A. (2012). An Axiom System for a Spatial Logic with Convexity. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:154840

Chicago Manual of Style (16th Edition):

Trybus, Adam. “An Axiom System for a Spatial Logic with Convexity.” 2012. Doctoral Dissertation, University of Manchester. Accessed September 29, 2020. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:154840.

MLA Handbook (7th Edition):

Trybus, Adam. “An Axiom System for a Spatial Logic with Convexity.” 2012. Web. 29 Sep 2020.

Vancouver:

Trybus A. An Axiom System for a Spatial Logic with Convexity. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2020 Sep 29]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:154840.

Council of Science Editors:

Trybus A. An Axiom System for a Spatial Logic with Convexity. [Doctoral Dissertation]. University of Manchester; 2012. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:154840


University of Helsinki

3. Paolini, Gianluca. Independence in Model Theory and Team Semantics.

Degree: Department of Mathematics and Statistics, 2016, University of Helsinki

The subject of this doctoral thesis is the mathematical theory of independence, and its various manifestations in logic and mathematics. The topics covered in this… (more)

Subjects/Keywords: mathematical logic; mathematical logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Paolini, G. (2016). Independence in Model Theory and Team Semantics. (Doctoral Dissertation). University of Helsinki. Retrieved from http://hdl.handle.net/10138/163784

Chicago Manual of Style (16th Edition):

Paolini, Gianluca. “Independence in Model Theory and Team Semantics.” 2016. Doctoral Dissertation, University of Helsinki. Accessed September 29, 2020. http://hdl.handle.net/10138/163784.

MLA Handbook (7th Edition):

Paolini, Gianluca. “Independence in Model Theory and Team Semantics.” 2016. Web. 29 Sep 2020.

Vancouver:

Paolini G. Independence in Model Theory and Team Semantics. [Internet] [Doctoral dissertation]. University of Helsinki; 2016. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/10138/163784.

Council of Science Editors:

Paolini G. Independence in Model Theory and Team Semantics. [Doctoral Dissertation]. University of Helsinki; 2016. Available from: http://hdl.handle.net/10138/163784


Vanderbilt University

4. Adeleke, Adeola. Logic repair and soft error rate reduction using approximate logic functions.

Degree: MS, Electrical Engineering, 2012, Vanderbilt University

 Continuing CMOS devices scaling causes an increase in the vulnerability of integrated circuits to radiation-induced soft errors. Furthermore, as transistor density increases, the probability of… (more)

Subjects/Keywords: functions; logic; approximate; logic; repair

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adeleke, A. (2012). Logic repair and soft error rate reduction using approximate logic functions. (Thesis). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/10736

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

Adeleke, Adeola. “Logic repair and soft error rate reduction using approximate logic functions.” 2012. Thesis, Vanderbilt University. Accessed September 29, 2020. http://hdl.handle.net/1803/10736.

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

MLA Handbook (7th Edition):

Adeleke, Adeola. “Logic repair and soft error rate reduction using approximate logic functions.” 2012. Web. 29 Sep 2020.

Vancouver:

Adeleke A. Logic repair and soft error rate reduction using approximate logic functions. [Internet] [Thesis]. Vanderbilt University; 2012. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/1803/10736.

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

Council of Science Editors:

Adeleke A. Logic repair and soft error rate reduction using approximate logic functions. [Thesis]. Vanderbilt University; 2012. Available from: http://hdl.handle.net/1803/10736

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


University of Oklahoma

5. Hussain, Hammad Ahmed. Aristotle's 'Genetic Account' and the Problem of Induction.

Degree: PhD, 2010, University of Oklahoma

 This gives us a picture of Aristotle as being aware of this problem of induction. But, because of his metaphysical commitment to natural kinds with… (more)

Subjects/Keywords: Logic, Ancient; Induction (Logic)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hussain, H. A. (2010). Aristotle's 'Genetic Account' and the Problem of Induction. (Doctoral Dissertation). University of Oklahoma. Retrieved from http://hdl.handle.net/11244/319288

Chicago Manual of Style (16th Edition):

Hussain, Hammad Ahmed. “Aristotle's 'Genetic Account' and the Problem of Induction.” 2010. Doctoral Dissertation, University of Oklahoma. Accessed September 29, 2020. http://hdl.handle.net/11244/319288.

MLA Handbook (7th Edition):

Hussain, Hammad Ahmed. “Aristotle's 'Genetic Account' and the Problem of Induction.” 2010. Web. 29 Sep 2020.

Vancouver:

Hussain HA. Aristotle's 'Genetic Account' and the Problem of Induction. [Internet] [Doctoral dissertation]. University of Oklahoma; 2010. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/11244/319288.

Council of Science Editors:

Hussain HA. Aristotle's 'Genetic Account' and the Problem of Induction. [Doctoral Dissertation]. University of Oklahoma; 2010. Available from: http://hdl.handle.net/11244/319288


University of Victoria

6. Dubrova, Elena Vladimirovna. Boolean and multiple-valued functions in combinational logic synthesis.

Degree: Department of Computer Science, 2017, University of Victoria

 The subject of this dissertation is the theory of Boolean and multiple-valued functions. The main areas considered are: functional completeness, canonical forms, minimization of functions,… (more)

Subjects/Keywords: Logic circuits; Logic design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dubrova, E. V. (2017). Boolean and multiple-valued functions in combinational logic synthesis. (Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/8276

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

Dubrova, Elena Vladimirovna. “Boolean and multiple-valued functions in combinational logic synthesis.” 2017. Thesis, University of Victoria. Accessed September 29, 2020. http://hdl.handle.net/1828/8276.

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

MLA Handbook (7th Edition):

Dubrova, Elena Vladimirovna. “Boolean and multiple-valued functions in combinational logic synthesis.” 2017. Web. 29 Sep 2020.

Vancouver:

Dubrova EV. Boolean and multiple-valued functions in combinational logic synthesis. [Internet] [Thesis]. University of Victoria; 2017. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/1828/8276.

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

Council of Science Editors:

Dubrova EV. Boolean and multiple-valued functions in combinational logic synthesis. [Thesis]. University of Victoria; 2017. Available from: http://hdl.handle.net/1828/8276

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

7. Skeirik, Stephen. Rewriting-based symbolic methods for distributed system verification.

Degree: PhD, Computer Science, 2019, University of Illinois – Urbana-Champaign

 As computer system complexity increases, new methods and logics are needed to scale up to the complexity of practical systems without sacrificing logical precision and… (more)

Subjects/Keywords: rewriting logic; verification; reachability logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Skeirik, S. (2019). Rewriting-based symbolic methods for distributed system verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/106224

Chicago Manual of Style (16th Edition):

Skeirik, Stephen. “Rewriting-based symbolic methods for distributed system verification.” 2019. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed September 29, 2020. http://hdl.handle.net/2142/106224.

MLA Handbook (7th Edition):

Skeirik, Stephen. “Rewriting-based symbolic methods for distributed system verification.” 2019. Web. 29 Sep 2020.

Vancouver:

Skeirik S. Rewriting-based symbolic methods for distributed system verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2019. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/2142/106224.

Council of Science Editors:

Skeirik S. Rewriting-based symbolic methods for distributed system verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2019. Available from: http://hdl.handle.net/2142/106224


University of Waterloo

8. Ferenz, Nicholas. A Preservationist Approach to Relevant Logic.

Degree: 2014, University of Waterloo

 The semantics I develop extend an approach to logic called preservationism. The preservationist approach to logic interprets non-classical consequence relations as preserving something other than… (more)

Subjects/Keywords: Relevant Logic; Logic; Preservationism; Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferenz, N. (2014). A Preservationist Approach to Relevant Logic. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/8745

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

Ferenz, Nicholas. “A Preservationist Approach to Relevant Logic.” 2014. Thesis, University of Waterloo. Accessed September 29, 2020. http://hdl.handle.net/10012/8745.

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

MLA Handbook (7th Edition):

Ferenz, Nicholas. “A Preservationist Approach to Relevant Logic.” 2014. Web. 29 Sep 2020.

Vancouver:

Ferenz N. A Preservationist Approach to Relevant Logic. [Internet] [Thesis]. University of Waterloo; 2014. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/10012/8745.

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

Council of Science Editors:

Ferenz N. A Preservationist Approach to Relevant Logic. [Thesis]. University of Waterloo; 2014. Available from: http://hdl.handle.net/10012/8745

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

9. Lee, Whanki. Resplendent models generated by indiscernibles.

Degree: 2013, City University of New York

  As first proved by Ehrenfeucht and Mostowski [EM], every first-order theory which has infinite models, has models with infinite sets of indiscernibles. Ramsey's Theorem… (more)

Subjects/Keywords: Logic; Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, W. (2013). Resplendent models generated by indiscernibles. (Thesis). City University of New York. Retrieved from http://pqdtopen.proquest.com/#viewpdf?dispub=3553132

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

Lee, Whanki. “Resplendent models generated by indiscernibles.” 2013. Thesis, City University of New York. Accessed September 29, 2020. http://pqdtopen.proquest.com/#viewpdf?dispub=3553132.

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

MLA Handbook (7th Edition):

Lee, Whanki. “Resplendent models generated by indiscernibles.” 2013. Web. 29 Sep 2020.

Vancouver:

Lee W. Resplendent models generated by indiscernibles. [Internet] [Thesis]. City University of New York; 2013. [cited 2020 Sep 29]. Available from: http://pqdtopen.proquest.com/#viewpdf?dispub=3553132.

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

Council of Science Editors:

Lee W. Resplendent models generated by indiscernibles. [Thesis]. City University of New York; 2013. Available from: http://pqdtopen.proquest.com/#viewpdf?dispub=3553132

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


University of California – Berkeley

10. Kruckman, Alex. Infinitary Limits of Finite Structures.

Degree: Mathematics, 2016, University of California – Berkeley

 We study three distinct ways of assigning infinitary limits to classes of finite structures. We are primarily concerned with logically motivated questions about these limit… (more)

Subjects/Keywords: Mathematics; Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kruckman, A. (2016). Infinitary Limits of Finite Structures. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/2057n08h

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

Kruckman, Alex. “Infinitary Limits of Finite Structures.” 2016. Thesis, University of California – Berkeley. Accessed September 29, 2020. http://www.escholarship.org/uc/item/2057n08h.

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

MLA Handbook (7th Edition):

Kruckman, Alex. “Infinitary Limits of Finite Structures.” 2016. Web. 29 Sep 2020.

Vancouver:

Kruckman A. Infinitary Limits of Finite Structures. [Internet] [Thesis]. University of California – Berkeley; 2016. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/2057n08h.

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

Council of Science Editors:

Kruckman A. Infinitary Limits of Finite Structures. [Thesis]. University of California – Berkeley; 2016. Available from: http://www.escholarship.org/uc/item/2057n08h

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


University of California – Berkeley

11. Bledin, Justin. Logic Informed.

Degree: Logic & the Methodology of Science, 2013, University of California – Berkeley

 I develop an informational conception of logic as a science fundamentally concerned not with truth but with information. Facts about logical validity, on this conception,… (more)

Subjects/Keywords: Logic; Philosophy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bledin, J. (2013). Logic Informed. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/42w8j3cv

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

Bledin, Justin. “Logic Informed.” 2013. Thesis, University of California – Berkeley. Accessed September 29, 2020. http://www.escholarship.org/uc/item/42w8j3cv.

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

MLA Handbook (7th Edition):

Bledin, Justin. “Logic Informed.” 2013. Web. 29 Sep 2020.

Vancouver:

Bledin J. Logic Informed. [Internet] [Thesis]. University of California – Berkeley; 2013. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/42w8j3cv.

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

Council of Science Editors:

Bledin J. Logic Informed. [Thesis]. University of California – Berkeley; 2013. Available from: http://www.escholarship.org/uc/item/42w8j3cv

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


University of California – San Diego

12. Sato, Tomoya. The Limits of Logic.

Degree: Philosophy, 2016, University of California – San Diego

 Logical validity is relative to logical systems. Some arguments are logically valid in one logic but logically invalid in another logic. There are various logical… (more)

Subjects/Keywords: Philosophy; Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sato, T. (2016). The Limits of Logic. (Thesis). University of California – San Diego. Retrieved from http://www.escholarship.org/uc/item/7cw9k14v

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

Sato, Tomoya. “The Limits of Logic.” 2016. Thesis, University of California – San Diego. Accessed September 29, 2020. http://www.escholarship.org/uc/item/7cw9k14v.

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

MLA Handbook (7th Edition):

Sato, Tomoya. “The Limits of Logic.” 2016. Web. 29 Sep 2020.

Vancouver:

Sato T. The Limits of Logic. [Internet] [Thesis]. University of California – San Diego; 2016. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/7cw9k14v.

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

Council of Science Editors:

Sato T. The Limits of Logic. [Thesis]. University of California – San Diego; 2016. Available from: http://www.escholarship.org/uc/item/7cw9k14v

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


University of California – Berkeley

13. Valby, Lawrence Vincent. Some Case Studies in Algebra Motivated by Abstract Problems of Language.

Degree: Logic & the Methodology of Science, 2015, University of California – Berkeley

 This thesis concerns three different topics. The first has to do with axiomatizing the universal theory of certain classes of multisorted algebras arising from intersection,… (more)

Subjects/Keywords: Mathematics; Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Valby, L. V. (2015). Some Case Studies in Algebra Motivated by Abstract Problems of Language. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/9j96n95h

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

Valby, Lawrence Vincent. “Some Case Studies in Algebra Motivated by Abstract Problems of Language.” 2015. Thesis, University of California – Berkeley. Accessed September 29, 2020. http://www.escholarship.org/uc/item/9j96n95h.

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

MLA Handbook (7th Edition):

Valby, Lawrence Vincent. “Some Case Studies in Algebra Motivated by Abstract Problems of Language.” 2015. Web. 29 Sep 2020.

Vancouver:

Valby LV. Some Case Studies in Algebra Motivated by Abstract Problems of Language. [Internet] [Thesis]. University of California – Berkeley; 2015. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/9j96n95h.

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

Council of Science Editors:

Valby LV. Some Case Studies in Algebra Motivated by Abstract Problems of Language. [Thesis]. University of California – Berkeley; 2015. Available from: http://www.escholarship.org/uc/item/9j96n95h

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


University of California – Berkeley

14. Wilson, Trevor Miles. Contributions to Descriptive Inner Model Theory.

Degree: Mathematics, 2012, University of California – Berkeley

 Descriptive inner model theory is the study of connections between descriptive set theory and inner model theory. Such connections form the basis of the core… (more)

Subjects/Keywords: Mathematics; Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wilson, T. M. (2012). Contributions to Descriptive Inner Model Theory. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/8fg2x6cr

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

Wilson, Trevor Miles. “Contributions to Descriptive Inner Model Theory.” 2012. Thesis, University of California – Berkeley. Accessed September 29, 2020. http://www.escholarship.org/uc/item/8fg2x6cr.

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

MLA Handbook (7th Edition):

Wilson, Trevor Miles. “Contributions to Descriptive Inner Model Theory.” 2012. Web. 29 Sep 2020.

Vancouver:

Wilson TM. Contributions to Descriptive Inner Model Theory. [Internet] [Thesis]. University of California – Berkeley; 2012. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/8fg2x6cr.

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

Council of Science Editors:

Wilson TM. Contributions to Descriptive Inner Model Theory. [Thesis]. University of California – Berkeley; 2012. Available from: http://www.escholarship.org/uc/item/8fg2x6cr

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


Texas A&M University

15. Navarro, Erin. A Defense of a Theistic Argument from the Law of Non-Contradiction.

Degree: MA, Philosophy, 2016, Texas A&M University

 My thesis is that there is a defensible argument for the existence of God from the necessary existence of the Law of Non-Contradiction (LNC). James… (more)

Subjects/Keywords: Logic; Theism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Navarro, E. (2016). A Defense of a Theistic Argument from the Law of Non-Contradiction. (Masters Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/157717

Chicago Manual of Style (16th Edition):

Navarro, Erin. “A Defense of a Theistic Argument from the Law of Non-Contradiction.” 2016. Masters Thesis, Texas A&M University. Accessed September 29, 2020. http://hdl.handle.net/1969.1/157717.

MLA Handbook (7th Edition):

Navarro, Erin. “A Defense of a Theistic Argument from the Law of Non-Contradiction.” 2016. Web. 29 Sep 2020.

Vancouver:

Navarro E. A Defense of a Theistic Argument from the Law of Non-Contradiction. [Internet] [Masters thesis]. Texas A&M University; 2016. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/1969.1/157717.

Council of Science Editors:

Navarro E. A Defense of a Theistic Argument from the Law of Non-Contradiction. [Masters Thesis]. Texas A&M University; 2016. Available from: http://hdl.handle.net/1969.1/157717


University of North Texas

16. Crone, Logan. Determinacy of Schmidt's Game and Other Intersection Games.

Degree: 2020, University of North Texas

 Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory.… (more)

Subjects/Keywords: logic; determinacy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Crone, L. (2020). Determinacy of Schmidt's Game and Other Intersection Games. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc1703306/

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

Crone, Logan. “Determinacy of Schmidt's Game and Other Intersection Games.” 2020. Thesis, University of North Texas. Accessed September 29, 2020. https://digital.library.unt.edu/ark:/67531/metadc1703306/.

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

MLA Handbook (7th Edition):

Crone, Logan. “Determinacy of Schmidt's Game and Other Intersection Games.” 2020. Web. 29 Sep 2020.

Vancouver:

Crone L. Determinacy of Schmidt's Game and Other Intersection Games. [Internet] [Thesis]. University of North Texas; 2020. [cited 2020 Sep 29]. Available from: https://digital.library.unt.edu/ark:/67531/metadc1703306/.

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

Council of Science Editors:

Crone L. Determinacy of Schmidt's Game and Other Intersection Games. [Thesis]. University of North Texas; 2020. Available from: https://digital.library.unt.edu/ark:/67531/metadc1703306/

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


University of Johannesburg

17. Erasmus, Adrian Dean. A tracking theory of prediction.

Degree: 2015, University of Johannesburg

M.A. (Philosophy)

The purpose of my project is to provide necessary and sufficient conditions for a prediction to be considered good. Alex Broadbent (2013) claims… (more)

Subjects/Keywords: Prediction (Logic)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Erasmus, A. D. (2015). A tracking theory of prediction. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/14056

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

Erasmus, Adrian Dean. “A tracking theory of prediction.” 2015. Thesis, University of Johannesburg. Accessed September 29, 2020. http://hdl.handle.net/10210/14056.

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

MLA Handbook (7th Edition):

Erasmus, Adrian Dean. “A tracking theory of prediction.” 2015. Web. 29 Sep 2020.

Vancouver:

Erasmus AD. A tracking theory of prediction. [Internet] [Thesis]. University of Johannesburg; 2015. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/10210/14056.

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

Council of Science Editors:

Erasmus AD. A tracking theory of prediction. [Thesis]. University of Johannesburg; 2015. Available from: http://hdl.handle.net/10210/14056

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


Wesleyan University

18. Morehouse, Edward Barish. An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming.

Degree: Mathematics and Computer Science, 2013, Wesleyan University

  In this thesis we compose a proof-theoretic approach to logic programming with a category-theoretic approach to proof theory. This allows us to present the… (more)

Subjects/Keywords: categorical logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Morehouse, E. B. (2013). An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming. (Doctoral Dissertation). Wesleyan University. Retrieved from https://wesscholar.wesleyan.edu/etd_diss/6

Chicago Manual of Style (16th Edition):

Morehouse, Edward Barish. “An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming.” 2013. Doctoral Dissertation, Wesleyan University. Accessed September 29, 2020. https://wesscholar.wesleyan.edu/etd_diss/6.

MLA Handbook (7th Edition):

Morehouse, Edward Barish. “An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming.” 2013. Web. 29 Sep 2020.

Vancouver:

Morehouse EB. An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming. [Internet] [Doctoral dissertation]. Wesleyan University; 2013. [cited 2020 Sep 29]. Available from: https://wesscholar.wesleyan.edu/etd_diss/6.

Council of Science Editors:

Morehouse EB. An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming. [Doctoral Dissertation]. Wesleyan University; 2013. Available from: https://wesscholar.wesleyan.edu/etd_diss/6

19. Lawsky, Sarah. Nonmonotonic Logic and Rule-Based Legal Reasoning.

Degree: Philosophy, 2017, University of California – Irvine

 This dissertation defends the use of nonmonotonic logic to represent rule-based legal reasoning, as exemplified by a particular, complex statute: the Internal Revenue Code. The… (more)

Subjects/Keywords: Logic

…on various drafts of various chapters, especially the participants in the UC Irvine Logic… …has steadily supported and encouraged my interest in math and logic, including letting me… …adopt her copy of Irving Copi’s Symbolic Logic when I was in sixth grade. And when, as an… …Illinois ABSTRACT OF THE DISSERTATION Nonmonotonic Logic and Rule-Based Legal Reasoning By… …Professor Kai Wehmeier, Chair This dissertation defends the use of nonmonotonic logic to… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lawsky, S. (2017). Nonmonotonic Logic and Rule-Based Legal Reasoning. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/59j2j45w

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

Lawsky, Sarah. “Nonmonotonic Logic and Rule-Based Legal Reasoning.” 2017. Thesis, University of California – Irvine. Accessed September 29, 2020. http://www.escholarship.org/uc/item/59j2j45w.

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

MLA Handbook (7th Edition):

Lawsky, Sarah. “Nonmonotonic Logic and Rule-Based Legal Reasoning.” 2017. Web. 29 Sep 2020.

Vancouver:

Lawsky S. Nonmonotonic Logic and Rule-Based Legal Reasoning. [Internet] [Thesis]. University of California – Irvine; 2017. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/59j2j45w.

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

Council of Science Editors:

Lawsky S. Nonmonotonic Logic and Rule-Based Legal Reasoning. [Thesis]. University of California – Irvine; 2017. Available from: http://www.escholarship.org/uc/item/59j2j45w

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


Baylor University

20. Opado, Frederick Odhiambo, 1987-. Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control.

Degree: M.S.E.C.E., Baylor University. Dept. of Electrical & Computer Engineering., 2017, Baylor University

 Control of hydro power plants has been an issue of concern for researchers; moreover, more emphasis has always been put on governor control which naturally… (more)

Subjects/Keywords: Fuzzy logic.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Opado, Frederick Odhiambo, 1. (2017). Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control. (Masters Thesis). Baylor University. Retrieved from http://hdl.handle.net/2104/10150

Chicago Manual of Style (16th Edition):

Opado, Frederick Odhiambo, 1987-. “Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control.” 2017. Masters Thesis, Baylor University. Accessed September 29, 2020. http://hdl.handle.net/2104/10150.

MLA Handbook (7th Edition):

Opado, Frederick Odhiambo, 1987-. “Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control.” 2017. Web. 29 Sep 2020.

Vancouver:

Opado, Frederick Odhiambo 1. Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control. [Internet] [Masters thesis]. Baylor University; 2017. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/2104/10150.

Council of Science Editors:

Opado, Frederick Odhiambo 1. Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control. [Masters Thesis]. Baylor University; 2017. Available from: http://hdl.handle.net/2104/10150


University of Glasgow

21. Young, Gareth. Revenge: dialetheism and its expressive limitations.

Degree: PhD, 2015, University of Glasgow

 This thesis is about dialetheism and the problem of revenge. More broadly, it is about truth and what the logical paradoxes tell us about the… (more)

Subjects/Keywords: BC Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Young, G. (2015). Revenge: dialetheism and its expressive limitations. (Doctoral Dissertation). University of Glasgow. Retrieved from http://theses.gla.ac.uk/6415/

Chicago Manual of Style (16th Edition):

Young, Gareth. “Revenge: dialetheism and its expressive limitations.” 2015. Doctoral Dissertation, University of Glasgow. Accessed September 29, 2020. http://theses.gla.ac.uk/6415/.

MLA Handbook (7th Edition):

Young, Gareth. “Revenge: dialetheism and its expressive limitations.” 2015. Web. 29 Sep 2020.

Vancouver:

Young G. Revenge: dialetheism and its expressive limitations. [Internet] [Doctoral dissertation]. University of Glasgow; 2015. [cited 2020 Sep 29]. Available from: http://theses.gla.ac.uk/6415/.

Council of Science Editors:

Young G. Revenge: dialetheism and its expressive limitations. [Doctoral Dissertation]. University of Glasgow; 2015. Available from: http://theses.gla.ac.uk/6415/


Michigan State University

22. Nofsinger, Steven Alan. John Dewey's lectures in the theory of logic : delivered at the University of Chicago, Fall and Winter quarters (1899-1900).

Degree: PhD, Department of Philosophy, 1989, Michigan State University

Subjects/Keywords: Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nofsinger, S. A. (1989). John Dewey's lectures in the theory of logic : delivered at the University of Chicago, Fall and Winter quarters (1899-1900). (Doctoral Dissertation). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:46928

Chicago Manual of Style (16th Edition):

Nofsinger, Steven Alan. “John Dewey's lectures in the theory of logic : delivered at the University of Chicago, Fall and Winter quarters (1899-1900).” 1989. Doctoral Dissertation, Michigan State University. Accessed September 29, 2020. http://etd.lib.msu.edu/islandora/object/etd:46928.

MLA Handbook (7th Edition):

Nofsinger, Steven Alan. “John Dewey's lectures in the theory of logic : delivered at the University of Chicago, Fall and Winter quarters (1899-1900).” 1989. Web. 29 Sep 2020.

Vancouver:

Nofsinger SA. John Dewey's lectures in the theory of logic : delivered at the University of Chicago, Fall and Winter quarters (1899-1900). [Internet] [Doctoral dissertation]. Michigan State University; 1989. [cited 2020 Sep 29]. Available from: http://etd.lib.msu.edu/islandora/object/etd:46928.

Council of Science Editors:

Nofsinger SA. John Dewey's lectures in the theory of logic : delivered at the University of Chicago, Fall and Winter quarters (1899-1900). [Doctoral Dissertation]. Michigan State University; 1989. Available from: http://etd.lib.msu.edu/islandora/object/etd:46928


University of Melbourne

23. O'Neill, Leonard John. Conventionalism and alternative logics.

Degree: 1964, University of Melbourne

Subjects/Keywords: Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

O'Neill, L. J. (1964). Conventionalism and alternative logics. (Masters Thesis). University of Melbourne. Retrieved from http://hdl.handle.net/11343/114924

Chicago Manual of Style (16th Edition):

O'Neill, Leonard John. “Conventionalism and alternative logics.” 1964. Masters Thesis, University of Melbourne. Accessed September 29, 2020. http://hdl.handle.net/11343/114924.

MLA Handbook (7th Edition):

O'Neill, Leonard John. “Conventionalism and alternative logics.” 1964. Web. 29 Sep 2020.

Vancouver:

O'Neill LJ. Conventionalism and alternative logics. [Internet] [Masters thesis]. University of Melbourne; 1964. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/11343/114924.

Council of Science Editors:

O'Neill LJ. Conventionalism and alternative logics. [Masters Thesis]. University of Melbourne; 1964. Available from: http://hdl.handle.net/11343/114924


University of Hong Kong

24. Chan, Ho-mun. Wittgenstein and the justification of deduction.

Degree: 1987, University of Hong Kong

Subjects/Keywords: Logic.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chan, H. (1987). Wittgenstein and the justification of deduction. (Thesis). University of Hong Kong. Retrieved from http://hdl.handle.net/10722/31237

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

Chan, Ho-mun. “Wittgenstein and the justification of deduction.” 1987. Thesis, University of Hong Kong. Accessed September 29, 2020. http://hdl.handle.net/10722/31237.

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

MLA Handbook (7th Edition):

Chan, Ho-mun. “Wittgenstein and the justification of deduction.” 1987. Web. 29 Sep 2020.

Vancouver:

Chan H. Wittgenstein and the justification of deduction. [Internet] [Thesis]. University of Hong Kong; 1987. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/10722/31237.

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

Council of Science Editors:

Chan H. Wittgenstein and the justification of deduction. [Thesis]. University of Hong Kong; 1987. Available from: http://hdl.handle.net/10722/31237

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


McGill University

25. MacPherson, Brian. Quantified doxastic logic and the problem of deduction.

Degree: PhD, Department of Philosophy, 1990, McGill University

In the first chapter, the reader is introduced to the 'problem of deduction'. I.e., any doxastic logic that is a normal modal system containing D… (more)

Subjects/Keywords: Logic.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

MacPherson, B. (1990). Quantified doxastic logic and the problem of deduction. (Doctoral Dissertation). McGill University. Retrieved from https://escholarship.mcgill.ca/downloads/k3569669v.pdf ; https://escholarship.mcgill.ca/concern/theses/br86b5742

Chicago Manual of Style (16th Edition):

MacPherson, Brian. “Quantified doxastic logic and the problem of deduction.” 1990. Doctoral Dissertation, McGill University. Accessed September 29, 2020. https://escholarship.mcgill.ca/downloads/k3569669v.pdf ; https://escholarship.mcgill.ca/concern/theses/br86b5742.

MLA Handbook (7th Edition):

MacPherson, Brian. “Quantified doxastic logic and the problem of deduction.” 1990. Web. 29 Sep 2020.

Vancouver:

MacPherson B. Quantified doxastic logic and the problem of deduction. [Internet] [Doctoral dissertation]. McGill University; 1990. [cited 2020 Sep 29]. Available from: https://escholarship.mcgill.ca/downloads/k3569669v.pdf ; https://escholarship.mcgill.ca/concern/theses/br86b5742.

Council of Science Editors:

MacPherson B. Quantified doxastic logic and the problem of deduction. [Doctoral Dissertation]. McGill University; 1990. Available from: https://escholarship.mcgill.ca/downloads/k3569669v.pdf ; https://escholarship.mcgill.ca/concern/theses/br86b5742


The London School of Economics and Political Science (LSE)

26. Orri Stefansson, Hlynur. Decision theory and counterfactual evaluation.

Degree: phd, 2014, The London School of Economics and Political Science (LSE)

 The value of actual outcomes or states of affairs often depends on what could have been. Such dependencies create well-known “paradoxes” for decision theory, the… (more)

Subjects/Keywords: BC Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Orri Stefansson, H. (2014). Decision theory and counterfactual evaluation. (Doctoral Dissertation). The London School of Economics and Political Science (LSE). Retrieved from http://etheses.lse.ac.uk/984/

Chicago Manual of Style (16th Edition):

Orri Stefansson, Hlynur. “Decision theory and counterfactual evaluation.” 2014. Doctoral Dissertation, The London School of Economics and Political Science (LSE). Accessed September 29, 2020. http://etheses.lse.ac.uk/984/.

MLA Handbook (7th Edition):

Orri Stefansson, Hlynur. “Decision theory and counterfactual evaluation.” 2014. Web. 29 Sep 2020.

Vancouver:

Orri Stefansson H. Decision theory and counterfactual evaluation. [Internet] [Doctoral dissertation]. The London School of Economics and Political Science (LSE); 2014. [cited 2020 Sep 29]. Available from: http://etheses.lse.ac.uk/984/.

Council of Science Editors:

Orri Stefansson H. Decision theory and counterfactual evaluation. [Doctoral Dissertation]. The London School of Economics and Political Science (LSE); 2014. Available from: http://etheses.lse.ac.uk/984/


University of California – Berkeley

27. Vlasits, Justin Joseph. Platonic Division and the Origins of Aristotelian Logic.

Degree: Philosophy, 2017, University of California – Berkeley

 Aristotle's syllogistic theory, as developed in his Prior Analytics, is often regarded as the birth of logic in Western philosophy. Over the past century, scholars… (more)

Subjects/Keywords: Philosophy; Classical studies; Logic; Aristotle; Logic; Plato

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vlasits, J. J. (2017). Platonic Division and the Origins of Aristotelian Logic. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/5ts6f7z4

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

Vlasits, Justin Joseph. “Platonic Division and the Origins of Aristotelian Logic.” 2017. Thesis, University of California – Berkeley. Accessed September 29, 2020. http://www.escholarship.org/uc/item/5ts6f7z4.

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

MLA Handbook (7th Edition):

Vlasits, Justin Joseph. “Platonic Division and the Origins of Aristotelian Logic.” 2017. Web. 29 Sep 2020.

Vancouver:

Vlasits JJ. Platonic Division and the Origins of Aristotelian Logic. [Internet] [Thesis]. University of California – Berkeley; 2017. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/5ts6f7z4.

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

Council of Science Editors:

Vlasits JJ. Platonic Division and the Origins of Aristotelian Logic. [Thesis]. University of California – Berkeley; 2017. Available from: http://www.escholarship.org/uc/item/5ts6f7z4

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


McMaster University

28. Cassano, Valentin. A Logical Basis for Reasoning with Default Rules.

Degree: PhD, 2015, McMaster University

This thesis is an investigation into the foundations of reasoning with default rules as presented by Reiter in his seminal 1980 article: `A Logic for… (more)

Subjects/Keywords: Logic; Formal Logic; Nonmonotonic Reasoning; Default Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cassano, V. (2015). A Logical Basis for Reasoning with Default Rules. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18052

Chicago Manual of Style (16th Edition):

Cassano, Valentin. “A Logical Basis for Reasoning with Default Rules.” 2015. Doctoral Dissertation, McMaster University. Accessed September 29, 2020. http://hdl.handle.net/11375/18052.

MLA Handbook (7th Edition):

Cassano, Valentin. “A Logical Basis for Reasoning with Default Rules.” 2015. Web. 29 Sep 2020.

Vancouver:

Cassano V. A Logical Basis for Reasoning with Default Rules. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/11375/18052.

Council of Science Editors:

Cassano V. A Logical Basis for Reasoning with Default Rules. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18052


University of Johannesburg

29. Schamm, Rainer Franz. Zero-one laws and almost sure validities on finite structures.

Degree: 2012, University of Johannesburg

M.Sc.

This short dissertation is intended to give a brief account of the history and current state of affairs in the field of study called… (more)

Subjects/Keywords: First-order logic; Logic, Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schamm, R. F. (2012). Zero-one laws and almost sure validities on finite structures. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/7511

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

Schamm, Rainer Franz. “Zero-one laws and almost sure validities on finite structures.” 2012. Thesis, University of Johannesburg. Accessed September 29, 2020. http://hdl.handle.net/10210/7511.

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

MLA Handbook (7th Edition):

Schamm, Rainer Franz. “Zero-one laws and almost sure validities on finite structures.” 2012. Web. 29 Sep 2020.

Vancouver:

Schamm RF. Zero-one laws and almost sure validities on finite structures. [Internet] [Thesis]. University of Johannesburg; 2012. [cited 2020 Sep 29]. Available from: http://hdl.handle.net/10210/7511.

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

Council of Science Editors:

Schamm RF. Zero-one laws and almost sure validities on finite structures. [Thesis]. University of Johannesburg; 2012. Available from: http://hdl.handle.net/10210/7511

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


University of California – Berkeley

30. Kocurek, Alexander William. What Can You Say? Measuring the Expressive Power of Languages.

Degree: Logic & the Methodology of Science, 2018, University of California – Berkeley

 There are many different ways to talk about the world. Some ways of talking are more expressive than others—that is, they enable us to say… (more)

Subjects/Keywords: Logic; Philosophy; Mathematics; Language; Logic; Metaphysics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kocurek, A. W. (2018). What Can You Say? Measuring the Expressive Power of Languages. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/5fv0x149

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

Kocurek, Alexander William. “What Can You Say? Measuring the Expressive Power of Languages.” 2018. Thesis, University of California – Berkeley. Accessed September 29, 2020. http://www.escholarship.org/uc/item/5fv0x149.

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

MLA Handbook (7th Edition):

Kocurek, Alexander William. “What Can You Say? Measuring the Expressive Power of Languages.” 2018. Web. 29 Sep 2020.

Vancouver:

Kocurek AW. What Can You Say? Measuring the Expressive Power of Languages. [Internet] [Thesis]. University of California – Berkeley; 2018. [cited 2020 Sep 29]. Available from: http://www.escholarship.org/uc/item/5fv0x149.

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

Council of Science Editors:

Kocurek AW. What Can You Say? Measuring the Expressive Power of Languages. [Thesis]. University of California – Berkeley; 2018. Available from: http://www.escholarship.org/uc/item/5fv0x149

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

[1] [2] [3] [4] [5] … [169]

.