Advanced search options

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

You searched for `subject:(Logic)`

.
Showing records 1 – 30 of
4570 total matches.

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

Search Limiters

Dates

- 2015 – 2019 (1284)
- 2010 – 2014 (1757)
- 2005 – 2009 (916)
- 2000 – 2004 (285)
- 1995 – 1999 (165)
- 1990 – 1994 (109)
- 1985 – 1989 (111)
- 1980 – 1984 (59)
- 1975 – 1979 (55)
- 1970 – 1974 (47)

Universities

- Brno University of Technology (246)
- University of São Paulo (103)
- Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学 (66)
- Pontifical Catholic University of Rio de Janeiro (64)
- Uppsala University (63)
- Universidade do Rio Grande do Norte (62)
- University of Oxford (60)
- Universidade do Rio Grande do Sul (57)
- Virginia Tech (54)
- National University of Singapore (50)
- The Ohio State University (49)
- University of Canterbury (49)
- University of Manchester (44)
- ETH Zürich (43)
- University of Illinois – Urbana-Champaign (41)

Department

- Electrical and Computer Engineering (108)
- Electrical Engineering (101)
- Computer Science (92)
- Informatique (92)
- Mathematics (60)
- Philosophy (49)
- Mechanical Engineering (34)
- Algebra and Geometry (31)
- Computer Engineering (28)
- Business Studies (25)
- Computer Science & Engineering (22)
- Philosophie (22)
- Computer Science and Engineering (21)
- Engineering and Applied Science: Aerospace Engineering (19)
- Department of Philosophy (18)

Degrees

- PhD (785)
- MS (289)
- Docteur es (278)
- Master (76)
- MA (64)
- Mestrado (54)
- MS(M.S.) in Electrical and Computer Engineering (12)
- M. Phil. (10)

Levels

- doctoral (1433)
- masters (746)
- thesis (46)
- doctor of philosophy ph.d. (14)

Languages

Country

- US (1244)
- Brazil (481)
- Canada (373)
- UK (311)
- France (278)
- Sweden (255)
- Czech Republic (247)
- Greece (179)
- Australia (152)
- Netherlands (115)
- Spain (94)
- Japan (94)
- New Zealand (92)
- South Africa (88)
- India (80)

▼ Search Limiters

University of California, Berkeley

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

Degree: 2011, University of California, Berkeley

URL: http://pqdtopen.proquest.com/#viewpdf?dispub=3469472

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

❌

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

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

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

URL: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:154840

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

❌

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

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

URL: http://hdl.handle.net/1842/4208

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

❌

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

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

URL: http://hdl.handle.net/10138/163784

►

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

❌

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

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

URL: http://hdl.handle.net/1828/8276

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Waterloo

6.
Ferenz, Nicholas.
A Preservationist Approach to Relevant * Logic*.

Degree: 2014, University of Waterloo

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

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/11244/319288

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

❌

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

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

URL: http://pqdtopen.proquest.com/#viewpdf?dispub=3553132

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms

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

❌

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

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

URL: http://purl.galileo.usg.edu/uga_etd/shiver_anthony_201505_phd

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

❌

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

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

URL: http://hdl.handle.net/1969.1/157717

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

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

toc

abstract

published_or_final_version

Philosophy

Master

Master of Philosophy

Subjects/Keywords: Logic.

Record Details Similar Records

❌

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

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

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

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://www.escholarship.org/uc/item/2057n08h

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://www.escholarship.org/uc/item/42w8j3cv

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://www.escholarship.org/uc/item/7cw9k14v

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://www.escholarship.org/uc/item/9j96n95h

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://www.escholarship.org/uc/item/8fg2x6cr

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: https://dspace.library.uvic.ca//handle/1828/9493

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: https://dspace.library.uvic.ca//handle/1828/9541

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: https://dspace.library.uvic.ca//handle/1828/9476

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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)

URL: http://etheses.lse.ac.uk/984/

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

❌

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

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

URL: http://digitool.library.mcgill.ca/thesisfile102225.pdf

►

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

❌

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

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

URL: http://digitool.library.mcgill.ca/thesisfile156167.pdf

►

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

❌

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

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

URL: http://www.escholarship.org/uc/item/59j2j45w

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://theses.gla.ac.uk/6415/

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

❌

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

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

URL: https://wesscholar.wesleyan.edu/etd_diss/6

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

❌

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

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

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

►

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

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

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation