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 4570 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Pal K. Uniform Theory of Multiplicative Valued Difference Fields. [Internet] [Thesis]. University of California, Berkeley; 2011. [cited 2019 Jul 18]. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Trybus A. An Axiom System for a Spatial Logic with Convexity. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2019 Jul 18]. 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 Edinburgh

3. Jungteerapanich, Natthapong. Tableau systems for the modal μ-calculus.

Degree: 2010, University of Edinburgh

 The main content of this thesis concerns a tableau method for solving the satisfiability problem for the modal μ-calculus. A sound and complete tableau system… (more)

Subjects/Keywords: 518; tableaux; modal logic; logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jungteerapanich, N. (2010). Tableau systems for the modal μ-calculus. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/4208

Chicago Manual of Style (16th Edition):

Jungteerapanich, Natthapong. “Tableau systems for the modal μ-calculus.” 2010. Doctoral Dissertation, University of Edinburgh. Accessed July 18, 2019. http://hdl.handle.net/1842/4208.

MLA Handbook (7th Edition):

Jungteerapanich, Natthapong. “Tableau systems for the modal μ-calculus.” 2010. Web. 18 Jul 2019.

Vancouver:

Jungteerapanich N. Tableau systems for the modal μ-calculus. [Internet] [Doctoral dissertation]. University of Edinburgh; 2010. [cited 2019 Jul 18]. Available from: http://hdl.handle.net/1842/4208.

Council of Science Editors:

Jungteerapanich N. Tableau systems for the modal μ-calculus. [Doctoral Dissertation]. University of Edinburgh; 2010. Available from: http://hdl.handle.net/1842/4208


University of Helsinki

4. 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 July 18, 2019. http://hdl.handle.net/10138/163784.

MLA Handbook (7th Edition):

Paolini, Gianluca. “Independence in Model Theory and Team Semantics.” 2016. Web. 18 Jul 2019.

Vancouver:

Paolini G. Independence in Model Theory and Team Semantics. [Internet] [Doctoral dissertation]. University of Helsinki; 2016. [cited 2019 Jul 18]. 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


University of Victoria

5. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Dubrova EV. Boolean and multiple-valued functions in combinational logic synthesis. [Internet] [Thesis]. University of Victoria; 2017. [cited 2019 Jul 18]. 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


University of Waterloo

6. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Ferenz N. A Preservationist Approach to Relevant Logic. [Internet] [Thesis]. University of Waterloo; 2014. [cited 2019 Jul 18]. 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


University of Oklahoma

7. 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 July 18, 2019. http://hdl.handle.net/11244/319288.

MLA Handbook (7th Edition):

Hussain, Hammad Ahmed. “Aristotle's 'Genetic Account' and the Problem of Induction.” 2010. Web. 18 Jul 2019.

Vancouver:

Hussain HA. Aristotle's 'Genetic Account' and the Problem of Induction. [Internet] [Doctoral dissertation]. University of Oklahoma; 2010. [cited 2019 Jul 18]. 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

8. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Lee W. Resplendent models generated by indiscernibles. [Internet] [Thesis]. City University of New York; 2013. [cited 2019 Jul 18]. 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 Georgia

9. Cline, Dustin Troy. Integrating logic programming with description logic reasoning and sensor observation management for mobile devices.

Degree: MS, Artificial Intelligence, 2015, University of Georgia

 The ubiquity of mobile devices has opened new research opportunities for knowledge-based systems. The purpose of this work is to integrate logic programming with description… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cline, D. T. (2015). Integrating logic programming with description logic reasoning and sensor observation management for mobile devices. (Masters Thesis). University of Georgia. Retrieved from http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms

Chicago Manual of Style (16th Edition):

Cline, Dustin Troy. “Integrating logic programming with description logic reasoning and sensor observation management for mobile devices.” 2015. Masters Thesis, University of Georgia. Accessed July 18, 2019. http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms.

MLA Handbook (7th Edition):

Cline, Dustin Troy. “Integrating logic programming with description logic reasoning and sensor observation management for mobile devices.” 2015. Web. 18 Jul 2019.

Vancouver:

Cline DT. Integrating logic programming with description logic reasoning and sensor observation management for mobile devices. [Internet] [Masters thesis]. University of Georgia; 2015. [cited 2019 Jul 18]. Available from: http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms.

Council of Science Editors:

Cline DT. Integrating logic programming with description logic reasoning and sensor observation management for mobile devices. [Masters Thesis]. University of Georgia; 2015. Available from: http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms

10. Shiver, Anthony. Parts and plurals: essays on the logic and metaphysics of plurality.

Degree: PhD, Philosophy, 2015, University of Georgia

 This dissertation consists of four independent papers on the foundations of mereology and the logic of plural expressions. The first chapter shows that the standard… (more)

Subjects/Keywords: Plural Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shiver, A. (2015). Parts and plurals: essays on the logic and metaphysics of plurality. (Doctoral Dissertation). University of Georgia. Retrieved from http://purl.galileo.usg.edu/uga_etd/shiver_anthony_201505_phd

Chicago Manual of Style (16th Edition):

Shiver, Anthony. “Parts and plurals: essays on the logic and metaphysics of plurality.” 2015. Doctoral Dissertation, University of Georgia. Accessed July 18, 2019. http://purl.galileo.usg.edu/uga_etd/shiver_anthony_201505_phd.

MLA Handbook (7th Edition):

Shiver, Anthony. “Parts and plurals: essays on the logic and metaphysics of plurality.” 2015. Web. 18 Jul 2019.

Vancouver:

Shiver A. Parts and plurals: essays on the logic and metaphysics of plurality. [Internet] [Doctoral dissertation]. University of Georgia; 2015. [cited 2019 Jul 18]. Available from: http://purl.galileo.usg.edu/uga_etd/shiver_anthony_201505_phd.

Council of Science Editors:

Shiver A. Parts and plurals: essays on the logic and metaphysics of plurality. [Doctoral Dissertation]. University of Georgia; 2015. Available from: http://purl.galileo.usg.edu/uga_etd/shiver_anthony_201505_phd


Texas A&M University

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

Degree: 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. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/157717

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

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

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

MLA Handbook (7th Edition):

Navarro, Erin. “A Defense of a Theistic Argument from the Law of Non-Contradiction.” 2016. Web. 18 Jul 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Hong Kong

12. 陳浩文; Chan, Ho-mun. Wittgenstein and the justification of deduction.

Degree: M. Phil., 1987, University of Hong Kong

toc

abstract

published_or_final_version

Philosophy

Master

Master of Philosophy

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. (Masters Thesis). University of Hong Kong. Retrieved from Chan, H. [陳浩文]. (1987). Wittgenstein and the justification of deduction. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3042627 ; http://dx.doi.org/10.5353/th_b3042627 ; http://hdl.handle.net/10722/31237

Chicago Manual of Style (16th Edition):

陳浩文; Chan, Ho-mun. “Wittgenstein and the justification of deduction.” 1987. Masters Thesis, University of Hong Kong. Accessed July 18, 2019. Chan, H. [陳浩文]. (1987). Wittgenstein and the justification of deduction. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3042627 ; http://dx.doi.org/10.5353/th_b3042627 ; http://hdl.handle.net/10722/31237.

MLA Handbook (7th Edition):

陳浩文; Chan, Ho-mun. “Wittgenstein and the justification of deduction.” 1987. Web. 18 Jul 2019.

Vancouver:

陳浩文; Chan H. Wittgenstein and the justification of deduction. [Internet] [Masters thesis]. University of Hong Kong; 1987. [cited 2019 Jul 18]. Available from: Chan, H. [陳浩文]. (1987). Wittgenstein and the justification of deduction. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3042627 ; http://dx.doi.org/10.5353/th_b3042627 ; http://hdl.handle.net/10722/31237.

Council of Science Editors:

陳浩文; Chan H. Wittgenstein and the justification of deduction. [Masters Thesis]. University of Hong Kong; 1987. Available from: Chan, H. [陳浩文]. (1987). Wittgenstein and the justification of deduction. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3042627 ; http://dx.doi.org/10.5353/th_b3042627 ; http://hdl.handle.net/10722/31237


Baylor University

13. [No author]. Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control.

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

author], [. (2017). Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control. (Thesis). Baylor University. Retrieved from http://hdl.handle.net/2104/10150

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

author], [No. “Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control. ” 2017. Thesis, Baylor University. Accessed July 18, 2019. http://hdl.handle.net/2104/10150.

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

MLA Handbook (7th Edition):

author], [No. “Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control. ” 2017. Web. 18 Jul 2019.

Vancouver:

author] [. Governor control optimization of hydro power plants using hybrid fuzzy logic and PID control. [Internet] [Thesis]. Baylor University; 2017. [cited 2019 Jul 18]. Available from: http://hdl.handle.net/2104/10150.

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

Council of Science Editors:

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

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


University of California – Berkeley

14. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Kruckman A. Infinitary Limits of Finite Structures. [Internet] [Thesis]. University of California – Berkeley; 2016. [cited 2019 Jul 18]. 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

15. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Bledin J. Logic Informed. [Internet] [Thesis]. University of California – Berkeley; 2013. [cited 2019 Jul 18]. 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

16. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Sato T. The Limits of Logic. [Internet] [Thesis]. University of California – San Diego; 2016. [cited 2019 Jul 18]. 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

17. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Valby LV. Some Case Studies in Algebra Motivated by Abstract Problems of Language. [Internet] [Thesis]. University of California – Berkeley; 2015. [cited 2019 Jul 18]. 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

18. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Wilson TM. Contributions to Descriptive Inner Model Theory. [Internet] [Thesis]. University of California – Berkeley; 2012. [cited 2019 Jul 18]. 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


University of Victoria

19. Strooper, Paul Anthony. From specification to implementation in logic.

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

 The use of modules to decompose large software systems into smaller, more manageable, programming tasks is now widely accepted. To benefit from such a decomposition,… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Strooper, P. A. (2018). From specification to implementation in logic. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9493

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

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Thesis, University of Victoria. Accessed July 18, 2019. https://dspace.library.uvic.ca//handle/1828/9493.

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

MLA Handbook (7th Edition):

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Web. 18 Jul 2019.

Vancouver:

Strooper PA. From specification to implementation in logic. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Jul 18]. Available from: https://dspace.library.uvic.ca//handle/1828/9493.

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

Council of Science Editors:

Strooper PA. From specification to implementation in logic. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9493

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


University of Victoria

20. Orgun, Mehmet Ali. Intensional logic programming.

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

 This dissertation presents an investigation of logic programming based on intensional logic. Through intensional logic, the notion of dynamic change and the ability to reason… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Orgun, M. A. (2018). Intensional logic programming. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9541

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

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Thesis, University of Victoria. Accessed July 18, 2019. https://dspace.library.uvic.ca//handle/1828/9541.

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

MLA Handbook (7th Edition):

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Web. 18 Jul 2019.

Vancouver:

Orgun MA. Intensional logic programming. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Jul 18]. Available from: https://dspace.library.uvic.ca//handle/1828/9541.

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

Council of Science Editors:

Orgun MA. Intensional logic programming. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9541

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


University of Victoria

21. Bagai, Rajiv. Ordinal-theoretic properties of logic programs.

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

 The work described in this dissertation is mainly a study of some ordinal-theoretic properties of logic programs that are related to the downward powers of… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bagai, R. (2018). Ordinal-theoretic properties of logic programs. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9476

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

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Thesis, University of Victoria. Accessed July 18, 2019. https://dspace.library.uvic.ca//handle/1828/9476.

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

MLA Handbook (7th Edition):

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Web. 18 Jul 2019.

Vancouver:

Bagai R. Ordinal-theoretic properties of logic programs. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Jul 18]. Available from: https://dspace.library.uvic.ca//handle/1828/9476.

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

Council of Science Editors:

Bagai R. Ordinal-theoretic properties of logic programs. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9476

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


The London School of Economics and Political Science (LSE)

22. 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 July 18, 2019. http://etheses.lse.ac.uk/984/.

MLA Handbook (7th Edition):

Orri Stefansson, Hlynur. “Decision theory and counterfactual evaluation.” 2014. Web. 18 Jul 2019.

Vancouver:

Orri Stefansson H. Decision theory and counterfactual evaluation. [Internet] [Doctoral dissertation]. The London School of Economics and Political Science (LSE); 2014. [cited 2019 Jul 18]. 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/


McGill University

23. Van den Broek, Brian. What is constant in logic?.

Degree: PhD, Department of Philosophy., 2005, McGill University

The thesis opens with an account of the origins of the modern problem of the demarcation of the logical constants in Alfred Tarski's 1936 lecture… (more)

Subjects/Keywords: Logic.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van den Broek, B. (2005). What is constant in logic?. (Doctoral Dissertation). McGill University. Retrieved from http://digitool.library.mcgill.ca/thesisfile102225.pdf

Chicago Manual of Style (16th Edition):

Van den Broek, Brian. “What is constant in logic?.” 2005. Doctoral Dissertation, McGill University. Accessed July 18, 2019. http://digitool.library.mcgill.ca/thesisfile102225.pdf.

MLA Handbook (7th Edition):

Van den Broek, Brian. “What is constant in logic?.” 2005. Web. 18 Jul 2019.

Vancouver:

Van den Broek B. What is constant in logic?. [Internet] [Doctoral dissertation]. McGill University; 2005. [cited 2019 Jul 18]. Available from: http://digitool.library.mcgill.ca/thesisfile102225.pdf.

Council of Science Editors:

Van den Broek B. What is constant in logic?. [Doctoral Dissertation]. McGill University; 2005. Available from: http://digitool.library.mcgill.ca/thesisfile102225.pdf


McGill University

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

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

Note:

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… (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 http://digitool.library.mcgill.ca/thesisfile156167.pdf

Chicago Manual of Style (16th Edition):

MacPherson, Brian. “Quantified doxastic logic and the problem of deduction.” 1990. Doctoral Dissertation, McGill University. Accessed July 18, 2019. http://digitool.library.mcgill.ca/thesisfile156167.pdf.

MLA Handbook (7th Edition):

MacPherson, Brian. “Quantified doxastic logic and the problem of deduction.” 1990. Web. 18 Jul 2019.

Vancouver:

MacPherson B. Quantified doxastic logic and the problem of deduction. [Internet] [Doctoral dissertation]. McGill University; 1990. [cited 2019 Jul 18]. Available from: http://digitool.library.mcgill.ca/thesisfile156167.pdf.

Council of Science Editors:

MacPherson B. Quantified doxastic logic and the problem of deduction. [Doctoral Dissertation]. McGill University; 1990. Available from: http://digitool.library.mcgill.ca/thesisfile156167.pdf

25. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Lawsky S. Nonmonotonic Logic and Rule-Based Legal Reasoning. [Internet] [Thesis]. University of California – Irvine; 2017. [cited 2019 Jul 18]. 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


University of Glasgow

26. 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 July 18, 2019. http://theses.gla.ac.uk/6415/.

MLA Handbook (7th Edition):

Young, Gareth. “Revenge: dialetheism and its expressive limitations.” 2015. Web. 18 Jul 2019.

Vancouver:

Young G. Revenge: dialetheism and its expressive limitations. [Internet] [Doctoral dissertation]. University of Glasgow; 2015. [cited 2019 Jul 18]. 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/


Wesleyan University

27. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Morehouse EB. An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming. [Internet] [Doctoral dissertation]. Wesleyan University; 2013. [cited 2019 Jul 18]. 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


University of Johannesburg

28. 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 July 18, 2019. 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. 18 Jul 2019.

Vancouver:

Erasmus AD. A tracking theory of prediction. [Internet] [Thesis]. University of Johannesburg; 2015. [cited 2019 Jul 18]. 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


University of Illinois – Chicago

29. Noquez, Victoria Lynn. Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic.

Degree: 2017, University of Illinois – Chicago

 Much of the work in this thesis was motivated by an effort to prove a continuous analogue of the Baldwin-Lachlan characterization of uncountable categoricity: a… (more)

Subjects/Keywords: Formal Logic; Model Theory; Continuous Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Noquez, V. L. (2017). Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/22102

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

Noquez, Victoria Lynn. “Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic.” 2017. Thesis, University of Illinois – Chicago. Accessed July 18, 2019. http://hdl.handle.net/10027/22102.

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

MLA Handbook (7th Edition):

Noquez, Victoria Lynn. “Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic.” 2017. Web. 18 Jul 2019.

Vancouver:

Noquez VL. Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic. [Internet] [Thesis]. University of Illinois – Chicago; 2017. [cited 2019 Jul 18]. Available from: http://hdl.handle.net/10027/22102.

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

Council of Science Editors:

Noquez VL. Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic. [Thesis]. University of Illinois – Chicago; 2017. Available from: http://hdl.handle.net/10027/22102

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


Hong Kong University of Science and Technology

30. Zhang, Haodi. Characterizing causal action theories and their implementations in answer set programming.

Degree: 2016, Hong Kong University of Science and Technology

 In logic-based AI, formal reasoning about action has been a central topic. The main challenges have been the frame and the ramification problems. To solve… (more)

Subjects/Keywords: Logic programming; Fuzzy logic; Question-answering systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, H. (2016). Characterizing causal action theories and their implementations in answer set programming. (Thesis). Hong Kong University of Science and Technology. Retrieved from https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html

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

Zhang, Haodi. “Characterizing causal action theories and their implementations in answer set programming.” 2016. Thesis, Hong Kong University of Science and Technology. Accessed July 18, 2019. https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html.

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

MLA Handbook (7th Edition):

Zhang, Haodi. “Characterizing causal action theories and their implementations in answer set programming.” 2016. Web. 18 Jul 2019.

Vancouver:

Zhang H. Characterizing causal action theories and their implementations in answer set programming. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2016. [cited 2019 Jul 18]. Available from: https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html.

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

Council of Science Editors:

Zhang H. Characterizing causal action theories and their implementations in answer set programming. [Thesis]. Hong Kong University of Science and Technology; 2016. Available from: https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html

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

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

.