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 Symbolic AND mathematical ). Showing records 1 – 30 of 100 total matches.

[1] [2] [3] [4]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Country

▼ Search Limiters


University of Johannesburg

1. Van Wyk, Gertruida Petronella. A spectrum of logics - ranging from binary to fuzzy systems.

Degree: 2012, University of Johannesburg

M.Sc.

An overview of the process of mathematical logic's growth is depicted in this dissertation. Man began at the very beginning, distinguishing only between truth… (more)

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van Wyk, G. P. (2012). A spectrum of logics - ranging from binary to fuzzy systems. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/7278

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

Van Wyk, Gertruida Petronella. “A spectrum of logics - ranging from binary to fuzzy systems.” 2012. Thesis, University of Johannesburg. Accessed August 05, 2020. http://hdl.handle.net/10210/7278.

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

MLA Handbook (7th Edition):

Van Wyk, Gertruida Petronella. “A spectrum of logics - ranging from binary to fuzzy systems.” 2012. Web. 05 Aug 2020.

Vancouver:

Van Wyk GP. A spectrum of logics - ranging from binary to fuzzy systems. [Internet] [Thesis]. University of Johannesburg; 2012. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10210/7278.

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

Council of Science Editors:

Van Wyk GP. A spectrum of logics - ranging from binary to fuzzy systems. [Thesis]. University of Johannesburg; 2012. Available from: http://hdl.handle.net/10210/7278

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


University of Johannesburg

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

Degree: 2012, University of Johannesburg

M.Sc.

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

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

Vancouver:

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

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

Council of Science Editors:

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

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


University of Johannesburg

3. Van Staden, Anna Maria. The role of logical principles in proving conjectures using indirect proof techniques in mathematics.

Degree: 2012, University of Johannesburg

M.Ed.

Recently there has been renewed interest in proof and proving in schools worldwide. However, many school students and even teachers of mathematics have only… (more)

Subjects/Keywords: Logic, Symbolic and mathematical; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van Staden, A. M. (2012). The role of logical principles in proving conjectures using indirect proof techniques in mathematics. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/6769

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

Van Staden, Anna Maria. “The role of logical principles in proving conjectures using indirect proof techniques in mathematics.” 2012. Thesis, University of Johannesburg. Accessed August 05, 2020. http://hdl.handle.net/10210/6769.

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

MLA Handbook (7th Edition):

Van Staden, Anna Maria. “The role of logical principles in proving conjectures using indirect proof techniques in mathematics.” 2012. Web. 05 Aug 2020.

Vancouver:

Van Staden AM. The role of logical principles in proving conjectures using indirect proof techniques in mathematics. [Internet] [Thesis]. University of Johannesburg; 2012. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10210/6769.

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

Council of Science Editors:

Van Staden AM. The role of logical principles in proving conjectures using indirect proof techniques in mathematics. [Thesis]. University of Johannesburg; 2012. Available from: http://hdl.handle.net/10210/6769

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


University of Johannesburg

4. Van Drimmelen, Govert Cornelis. Satisfiability in a logic of games.

Degree: 2014, University of Johannesburg

M.Sc. (Mathematics)

This dissertation describes the solution toa specific logical problem, the satisfiability problem, in a logic of games called Alternating-time Temporal Logic (ATL). Computation… (more)

Subjects/Keywords: Logic, Symbolic and mathematical; Game theory; Computer logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van Drimmelen, G. C. (2014). Satisfiability in a logic of games. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/9823

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

Van Drimmelen, Govert Cornelis. “Satisfiability in a logic of games.” 2014. Thesis, University of Johannesburg. Accessed August 05, 2020. http://hdl.handle.net/10210/9823.

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

MLA Handbook (7th Edition):

Van Drimmelen, Govert Cornelis. “Satisfiability in a logic of games.” 2014. Web. 05 Aug 2020.

Vancouver:

Van Drimmelen GC. Satisfiability in a logic of games. [Internet] [Thesis]. University of Johannesburg; 2014. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10210/9823.

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

Council of Science Editors:

Van Drimmelen GC. Satisfiability in a logic of games. [Thesis]. University of Johannesburg; 2014. Available from: http://hdl.handle.net/10210/9823

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


University of Alberta

5. Ferguson, George M. Identity and skolem functions in resolution-based hypothetical reasoning.

Degree: MS, Department of Computing Science, 1989, University of Alberta

Subjects/Keywords: Reasoning.; Logic, Symbolic and mathematical.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferguson, G. M. (1989). Identity and skolem functions in resolution-based hypothetical reasoning. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/9w032553x

Chicago Manual of Style (16th Edition):

Ferguson, George M. “Identity and skolem functions in resolution-based hypothetical reasoning.” 1989. Masters Thesis, University of Alberta. Accessed August 05, 2020. https://era.library.ualberta.ca/files/9w032553x.

MLA Handbook (7th Edition):

Ferguson, George M. “Identity and skolem functions in resolution-based hypothetical reasoning.” 1989. Web. 05 Aug 2020.

Vancouver:

Ferguson GM. Identity and skolem functions in resolution-based hypothetical reasoning. [Internet] [Masters thesis]. University of Alberta; 1989. [cited 2020 Aug 05]. Available from: https://era.library.ualberta.ca/files/9w032553x.

Council of Science Editors:

Ferguson GM. Identity and skolem functions in resolution-based hypothetical reasoning. [Masters Thesis]. University of Alberta; 1989. Available from: https://era.library.ualberta.ca/files/9w032553x


Oregon State University

6. Clark, David Linus. The algebra and topology of binary relations.

Degree: MS, Mathematics, 1955, Oregon State University

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Clark, D. L. (1955). The algebra and topology of binary relations. (Masters Thesis). Oregon State University. Retrieved from http://hdl.handle.net/1957/51243

Chicago Manual of Style (16th Edition):

Clark, David Linus. “The algebra and topology of binary relations.” 1955. Masters Thesis, Oregon State University. Accessed August 05, 2020. http://hdl.handle.net/1957/51243.

MLA Handbook (7th Edition):

Clark, David Linus. “The algebra and topology of binary relations.” 1955. Web. 05 Aug 2020.

Vancouver:

Clark DL. The algebra and topology of binary relations. [Internet] [Masters thesis]. Oregon State University; 1955. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/1957/51243.

Council of Science Editors:

Clark DL. The algebra and topology of binary relations. [Masters Thesis]. Oregon State University; 1955. Available from: http://hdl.handle.net/1957/51243


Universidade Estadual de Campinas

7. Alberto Leopoldo Batista Neto. Representatain and combination of logics : conceptual questions.

Degree: Instituto de Filosofia e Ciências Humanas, 2007, Universidade Estadual de Campinas

 Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de… (more)

Subjects/Keywords: Logic; Logica simbolica e matematica; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Neto, A. L. B. (2007). Representatain and combination of logics : conceptual questions. (Thesis). Universidade Estadual de Campinas. Retrieved from http://libdigi.unicamp.br/document/?code=vtls000416467

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

Neto, Alberto Leopoldo Batista. “Representatain and combination of logics : conceptual questions.” 2007. Thesis, Universidade Estadual de Campinas. Accessed August 05, 2020. http://libdigi.unicamp.br/document/?code=vtls000416467.

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

MLA Handbook (7th Edition):

Neto, Alberto Leopoldo Batista. “Representatain and combination of logics : conceptual questions.” 2007. Web. 05 Aug 2020.

Vancouver:

Neto ALB. Representatain and combination of logics : conceptual questions. [Internet] [Thesis]. Universidade Estadual de Campinas; 2007. [cited 2020 Aug 05]. Available from: http://libdigi.unicamp.br/document/?code=vtls000416467.

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

Council of Science Editors:

Neto ALB. Representatain and combination of logics : conceptual questions. [Thesis]. Universidade Estadual de Campinas; 2007. Available from: http://libdigi.unicamp.br/document/?code=vtls000416467

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


University of Johannesburg

8. Hattingh, Johannes Hendrik. Relatiewe semantiese afleibaarheid.

Degree: 2014, University of Johannesburg

M.Sc.

Please refer to full text to view abstract

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hattingh, J. H. (2014). Relatiewe semantiese afleibaarheid. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/9141

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

Hattingh, Johannes Hendrik. “Relatiewe semantiese afleibaarheid.” 2014. Thesis, University of Johannesburg. Accessed August 05, 2020. http://hdl.handle.net/10210/9141.

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

MLA Handbook (7th Edition):

Hattingh, Johannes Hendrik. “Relatiewe semantiese afleibaarheid.” 2014. Web. 05 Aug 2020.

Vancouver:

Hattingh JH. Relatiewe semantiese afleibaarheid. [Internet] [Thesis]. University of Johannesburg; 2014. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10210/9141.

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

Council of Science Editors:

Hattingh JH. Relatiewe semantiese afleibaarheid. [Thesis]. University of Johannesburg; 2014. Available from: http://hdl.handle.net/10210/9141

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


Oregon State University

9. Schiele, Roy Louis. Computer-aided majority logic design.

Degree: MS, Electrical and Electronics Engineering, 1966, Oregon State University

 The emergence of the three-input majority gate as a practical element for logical design has demanded a useful method of design using these elements. In… (more)

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schiele, R. L. (1966). Computer-aided majority logic design. (Masters Thesis). Oregon State University. Retrieved from http://hdl.handle.net/1957/47337

Chicago Manual of Style (16th Edition):

Schiele, Roy Louis. “Computer-aided majority logic design.” 1966. Masters Thesis, Oregon State University. Accessed August 05, 2020. http://hdl.handle.net/1957/47337.

MLA Handbook (7th Edition):

Schiele, Roy Louis. “Computer-aided majority logic design.” 1966. Web. 05 Aug 2020.

Vancouver:

Schiele RL. Computer-aided majority logic design. [Internet] [Masters thesis]. Oregon State University; 1966. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/1957/47337.

Council of Science Editors:

Schiele RL. Computer-aided majority logic design. [Masters Thesis]. Oregon State University; 1966. Available from: http://hdl.handle.net/1957/47337


Latrobe University

10. Nguyen, Thanh Long. Compatible relations on logic-based algebras.

Degree: PhD, 2012, Latrobe University

Thesis (Ph.D.) - La Trobe University, 2012

Submission note: "A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy… (more)

Subjects/Keywords: Modular arithmetic.; Logic, Symbolic and mathematical.; Ockham algebras.; Algebra.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, T. L. (2012). Compatible relations on logic-based algebras. (Doctoral Dissertation). Latrobe University. Retrieved from http://hdl.handle.net/1959.9/513382

Chicago Manual of Style (16th Edition):

Nguyen, Thanh Long. “Compatible relations on logic-based algebras.” 2012. Doctoral Dissertation, Latrobe University. Accessed August 05, 2020. http://hdl.handle.net/1959.9/513382.

MLA Handbook (7th Edition):

Nguyen, Thanh Long. “Compatible relations on logic-based algebras.” 2012. Web. 05 Aug 2020.

Vancouver:

Nguyen TL. Compatible relations on logic-based algebras. [Internet] [Doctoral dissertation]. Latrobe University; 2012. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/1959.9/513382.

Council of Science Editors:

Nguyen TL. Compatible relations on logic-based algebras. [Doctoral Dissertation]. Latrobe University; 2012. Available from: http://hdl.handle.net/1959.9/513382


University of Arizona

11. Leonard, Jon Norman, 1939-. A MODEL THEORETIC CHARACTERIZATION OF THE CONSISTENT SENTENCES OF THE THEORY OF TOTAL ORDERING WITH K UNARY PREDICATES .

Degree: 1966, University of Arizona

Subjects/Keywords: Logic; Symbolic and mathematical.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leonard, Jon Norman, 1. (1966). A MODEL THEORETIC CHARACTERIZATION OF THE CONSISTENT SENTENCES OF THE THEORY OF TOTAL ORDERING WITH K UNARY PREDICATES . (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/284662

Chicago Manual of Style (16th Edition):

Leonard, Jon Norman, 1939-. “A MODEL THEORETIC CHARACTERIZATION OF THE CONSISTENT SENTENCES OF THE THEORY OF TOTAL ORDERING WITH K UNARY PREDICATES .” 1966. Doctoral Dissertation, University of Arizona. Accessed August 05, 2020. http://hdl.handle.net/10150/284662.

MLA Handbook (7th Edition):

Leonard, Jon Norman, 1939-. “A MODEL THEORETIC CHARACTERIZATION OF THE CONSISTENT SENTENCES OF THE THEORY OF TOTAL ORDERING WITH K UNARY PREDICATES .” 1966. Web. 05 Aug 2020.

Vancouver:

Leonard, Jon Norman 1. A MODEL THEORETIC CHARACTERIZATION OF THE CONSISTENT SENTENCES OF THE THEORY OF TOTAL ORDERING WITH K UNARY PREDICATES . [Internet] [Doctoral dissertation]. University of Arizona; 1966. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10150/284662.

Council of Science Editors:

Leonard, Jon Norman 1. A MODEL THEORETIC CHARACTERIZATION OF THE CONSISTENT SENTENCES OF THE THEORY OF TOTAL ORDERING WITH K UNARY PREDICATES . [Doctoral Dissertation]. University of Arizona; 1966. Available from: http://hdl.handle.net/10150/284662


University of British Columbia

12. Hughes, Richard Ieuan Garth. Systems of quantum logic .

Degree: 1978, University of British Columbia

 According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hilbert Space. Sentences of the form, "x є L"… (more)

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hughes, R. I. G. (1978). Systems of quantum logic . (Thesis). University of British Columbia. Retrieved from http://hdl.handle.net/2429/22174

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

Hughes, Richard Ieuan Garth. “Systems of quantum logic .” 1978. Thesis, University of British Columbia. Accessed August 05, 2020. http://hdl.handle.net/2429/22174.

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

MLA Handbook (7th Edition):

Hughes, Richard Ieuan Garth. “Systems of quantum logic .” 1978. Web. 05 Aug 2020.

Vancouver:

Hughes RIG. Systems of quantum logic . [Internet] [Thesis]. University of British Columbia; 1978. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/2429/22174.

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

Council of Science Editors:

Hughes RIG. Systems of quantum logic . [Thesis]. University of British Columbia; 1978. Available from: http://hdl.handle.net/2429/22174

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


University of British Columbia

13. Grant, Douglas Robin. Grade placement of symbolic logic .

Degree: 1961, University of British Columbia

 This study was designed to determine the effectiveness of teaching symbolic logic in the high school. Three hundred eighty-seven students enrolled on the University Programme… (more)

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grant, D. R. (1961). Grade placement of symbolic logic . (Thesis). University of British Columbia. Retrieved from http://hdl.handle.net/2429/40302

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

Grant, Douglas Robin. “Grade placement of symbolic logic .” 1961. Thesis, University of British Columbia. Accessed August 05, 2020. http://hdl.handle.net/2429/40302.

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

MLA Handbook (7th Edition):

Grant, Douglas Robin. “Grade placement of symbolic logic .” 1961. Web. 05 Aug 2020.

Vancouver:

Grant DR. Grade placement of symbolic logic . [Internet] [Thesis]. University of British Columbia; 1961. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/2429/40302.

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

Council of Science Editors:

Grant DR. Grade placement of symbolic logic . [Thesis]. University of British Columbia; 1961. Available from: http://hdl.handle.net/2429/40302

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

14. Murphy, Carol Lynne Narz. Logic.

Degree: 1976, NC Docks

 This thesis is meant to be an introduction to logic. The first two chapters give general background information. The last two chapters give the details… (more)

Subjects/Keywords: Logic, Symbolic and mathematical; Calculus

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Murphy, C. L. N. (1976). Logic. (Thesis). NC Docks. Retrieved from http://libres.uncg.edu/ir/uncg/f/murphy_carol_1976.pdf

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

Murphy, Carol Lynne Narz. “Logic.” 1976. Thesis, NC Docks. Accessed August 05, 2020. http://libres.uncg.edu/ir/uncg/f/murphy_carol_1976.pdf.

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

MLA Handbook (7th Edition):

Murphy, Carol Lynne Narz. “Logic.” 1976. Web. 05 Aug 2020.

Vancouver:

Murphy CLN. Logic. [Internet] [Thesis]. NC Docks; 1976. [cited 2020 Aug 05]. Available from: http://libres.uncg.edu/ir/uncg/f/murphy_carol_1976.pdf.

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

Council of Science Editors:

Murphy CLN. Logic. [Thesis]. NC Docks; 1976. Available from: http://libres.uncg.edu/ir/uncg/f/murphy_carol_1976.pdf

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


Universidade Federal de Mato Grosso do Sul

15. Vaz, Rodrigo Marques. Formalização do raciocínio lógico baseada na lógica matemática .

Degree: 2014, Universidade Federal de Mato Grosso do Sul

 Neste trabalho estudamos os princípios da lógica matemática com o objetivo de descrever e fundamentar as principais técnicas de demonstrações matemáticas. A proposta foi motivada… (more)

Subjects/Keywords: Proposição (Lógica); Lógica Simbólica e Matemática; Raciocínio; Proposition (Logic); Logic, Symbolic and Mathematical; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vaz, R. M. (2014). Formalização do raciocínio lógico baseada na lógica matemática . (Thesis). Universidade Federal de Mato Grosso do Sul. Retrieved from http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333

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

Vaz, Rodrigo Marques. “Formalização do raciocínio lógico baseada na lógica matemática .” 2014. Thesis, Universidade Federal de Mato Grosso do Sul. Accessed August 05, 2020. http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333.

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

MLA Handbook (7th Edition):

Vaz, Rodrigo Marques. “Formalização do raciocínio lógico baseada na lógica matemática .” 2014. Web. 05 Aug 2020.

Vancouver:

Vaz RM. Formalização do raciocínio lógico baseada na lógica matemática . [Internet] [Thesis]. Universidade Federal de Mato Grosso do Sul; 2014. [cited 2020 Aug 05]. Available from: http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333.

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

Council of Science Editors:

Vaz RM. Formalização do raciocínio lógico baseada na lógica matemática . [Thesis]. Universidade Federal de Mato Grosso do Sul; 2014. Available from: http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333

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


University of Adelaide

16. Mortensen, Christian Edward. The theory of inconsistency: inconsistant mathematics and paraconsistent logic.

Degree: 2005, University of Adelaide

Subjects/Keywords: Inconsistency (Logic); Logic, Symbolic and mathematical.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mortensen, C. E. (2005). The theory of inconsistency: inconsistant mathematics and paraconsistent logic. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/38538

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

Mortensen, Christian Edward. “The theory of inconsistency: inconsistant mathematics and paraconsistent logic.” 2005. Thesis, University of Adelaide. Accessed August 05, 2020. http://hdl.handle.net/2440/38538.

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

MLA Handbook (7th Edition):

Mortensen, Christian Edward. “The theory of inconsistency: inconsistant mathematics and paraconsistent logic.” 2005. Web. 05 Aug 2020.

Vancouver:

Mortensen CE. The theory of inconsistency: inconsistant mathematics and paraconsistent logic. [Internet] [Thesis]. University of Adelaide; 2005. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/2440/38538.

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

Council of Science Editors:

Mortensen CE. The theory of inconsistency: inconsistant mathematics and paraconsistent logic. [Thesis]. University of Adelaide; 2005. Available from: http://hdl.handle.net/2440/38538

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


Victoria University of Wellington

17. Malcolm, Wilfred Gordon. Ultraproducts and Higher Order Models.

Degree: 1972, Victoria University of Wellington

 The programme of work for this thesis began with the somewhat genenal intention of parallelling in the context of higher order models the ultraproduct construction… (more)

Subjects/Keywords: Mathematical Logic; Model theory; Symbolic logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Malcolm, W. G. (1972). Ultraproducts and Higher Order Models. (Doctoral Dissertation). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/769

Chicago Manual of Style (16th Edition):

Malcolm, Wilfred Gordon. “Ultraproducts and Higher Order Models.” 1972. Doctoral Dissertation, Victoria University of Wellington. Accessed August 05, 2020. http://hdl.handle.net/10063/769.

MLA Handbook (7th Edition):

Malcolm, Wilfred Gordon. “Ultraproducts and Higher Order Models.” 1972. Web. 05 Aug 2020.

Vancouver:

Malcolm WG. Ultraproducts and Higher Order Models. [Internet] [Doctoral dissertation]. Victoria University of Wellington; 1972. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10063/769.

Council of Science Editors:

Malcolm WG. Ultraproducts and Higher Order Models. [Doctoral Dissertation]. Victoria University of Wellington; 1972. Available from: http://hdl.handle.net/10063/769


Ryerson University

18. Ge, Jiwen. Concurrent Transaction Logic with Priority and Timing Constraints.

Degree: 2004, Ryerson University

 Concurrent Transaction Logic (CTTZ) is a deductive language for programming database transaction applications that integrates queries, updates, and transaction composition in a complete logical framework.… (more)

Subjects/Keywords: Logic; symbolic and mathematical; Computer programming.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ge, J. (2004). Concurrent Transaction Logic with Priority and Timing Constraints. (Thesis). Ryerson University. Retrieved from https://digital.library.ryerson.ca/islandora/object/RULA%3A2402

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

Ge, Jiwen. “Concurrent Transaction Logic with Priority and Timing Constraints.” 2004. Thesis, Ryerson University. Accessed August 05, 2020. https://digital.library.ryerson.ca/islandora/object/RULA%3A2402.

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

MLA Handbook (7th Edition):

Ge, Jiwen. “Concurrent Transaction Logic with Priority and Timing Constraints.” 2004. Web. 05 Aug 2020.

Vancouver:

Ge J. Concurrent Transaction Logic with Priority and Timing Constraints. [Internet] [Thesis]. Ryerson University; 2004. [cited 2020 Aug 05]. Available from: https://digital.library.ryerson.ca/islandora/object/RULA%3A2402.

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

Council of Science Editors:

Ge J. Concurrent Transaction Logic with Priority and Timing Constraints. [Thesis]. Ryerson University; 2004. Available from: https://digital.library.ryerson.ca/islandora/object/RULA%3A2402

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


University of Adelaide

19. Lavers, Peter Stanley. Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics.

Degree: 1985, University of Adelaide

Subjects/Keywords: Logic, Symbolic and mathematical; Semantics (Philosophy)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lavers, P. S. (1985). Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/110508

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

Lavers, Peter Stanley. “Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics.” 1985. Thesis, University of Adelaide. Accessed August 05, 2020. http://hdl.handle.net/2440/110508.

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

MLA Handbook (7th Edition):

Lavers, Peter Stanley. “Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics.” 1985. Web. 05 Aug 2020.

Vancouver:

Lavers PS. Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics. [Internet] [Thesis]. University of Adelaide; 1985. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/2440/110508.

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

Council of Science Editors:

Lavers PS. Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics. [Thesis]. University of Adelaide; 1985. Available from: http://hdl.handle.net/2440/110508

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

20. Dickson, Jessica. Godel's incompleteness theorems.

Degree: MS, Mathematics, 2011, Eastern Washington University

  "Incompleteness or inconsistency? Kurt Godel shocked the mathematical community in 1931 when he proved any effectively generated, sufficiently complex, and sound axiomatic system could… (more)

Subjects/Keywords: Logic; Symbolic and mathematical; Gödel's theorem; Proof theory; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dickson, J. (2011). Godel's incompleteness theorems. (Thesis). Eastern Washington University. Retrieved from https://dc.ewu.edu/theses/3

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

Dickson, Jessica. “Godel's incompleteness theorems.” 2011. Thesis, Eastern Washington University. Accessed August 05, 2020. https://dc.ewu.edu/theses/3.

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

MLA Handbook (7th Edition):

Dickson, Jessica. “Godel's incompleteness theorems.” 2011. Web. 05 Aug 2020.

Vancouver:

Dickson J. Godel's incompleteness theorems. [Internet] [Thesis]. Eastern Washington University; 2011. [cited 2020 Aug 05]. Available from: https://dc.ewu.edu/theses/3.

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

Council of Science Editors:

Dickson J. Godel's incompleteness theorems. [Thesis]. Eastern Washington University; 2011. Available from: https://dc.ewu.edu/theses/3

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


University of St Andrews

21. Friend, Michèle Indira. Second-order logic is logic.

Degree: PhD, 1997, University of St Andrews

 "Second-order logic" is the name given to a formal system. Some claim that the formal system is a logical system. Others claim that it is… (more)

Subjects/Keywords: BC128.F8; Logic, Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Friend, M. I. (1997). Second-order logic is logic. (Doctoral Dissertation). University of St Andrews. Retrieved from http://hdl.handle.net/10023/14753

Chicago Manual of Style (16th Edition):

Friend, Michèle Indira. “Second-order logic is logic.” 1997. Doctoral Dissertation, University of St Andrews. Accessed August 05, 2020. http://hdl.handle.net/10023/14753.

MLA Handbook (7th Edition):

Friend, Michèle Indira. “Second-order logic is logic.” 1997. Web. 05 Aug 2020.

Vancouver:

Friend MI. Second-order logic is logic. [Internet] [Doctoral dissertation]. University of St Andrews; 1997. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10023/14753.

Council of Science Editors:

Friend MI. Second-order logic is logic. [Doctoral Dissertation]. University of St Andrews; 1997. Available from: http://hdl.handle.net/10023/14753


Texas Christian University

22. Segal, Arthur Cherny. A model for an extended logic / by Arthur Cherny Segal.

Degree: 1966, Texas Christian University

Subjects/Keywords: Logic, Symbolic and mathematical; Mathematics – Philosophy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Segal, A. C. (1966). A model for an extended logic / by Arthur Cherny Segal. (Thesis). Texas Christian University. Retrieved from https://repository.tcu.edu/handle/116099117/33789

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

Segal, Arthur Cherny. “A model for an extended logic / by Arthur Cherny Segal.” 1966. Thesis, Texas Christian University. Accessed August 05, 2020. https://repository.tcu.edu/handle/116099117/33789.

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

MLA Handbook (7th Edition):

Segal, Arthur Cherny. “A model for an extended logic / by Arthur Cherny Segal.” 1966. Web. 05 Aug 2020.

Vancouver:

Segal AC. A model for an extended logic / by Arthur Cherny Segal. [Internet] [Thesis]. Texas Christian University; 1966. [cited 2020 Aug 05]. Available from: https://repository.tcu.edu/handle/116099117/33789.

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

Council of Science Editors:

Segal AC. A model for an extended logic / by Arthur Cherny Segal. [Thesis]. Texas Christian University; 1966. Available from: https://repository.tcu.edu/handle/116099117/33789

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

23. Wong, Chung Kei. From action to next and then to always (semantical analysis).

Degree: 1993, Hong Kong University of Science and Technology

 We show that Temporal Logic of Actions (TLA) can be embedded into First-Order Temporal Logic (FTL), and FTL can also be embedded into Temporal Logic(more)

Subjects/Keywords: Computer programming ; Logic, Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wong, C. K. (1993). From action to next and then to always (semantical analysis). (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-5574 ; https://doi.org/10.14711/thesis-b433367 ; http://repository.ust.hk/ir/bitstream/1783.1-5574/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):

Wong, Chung Kei. “From action to next and then to always (semantical analysis).” 1993. Thesis, Hong Kong University of Science and Technology. Accessed August 05, 2020. http://repository.ust.hk/ir/Record/1783.1-5574 ; https://doi.org/10.14711/thesis-b433367 ; http://repository.ust.hk/ir/bitstream/1783.1-5574/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):

Wong, Chung Kei. “From action to next and then to always (semantical analysis).” 1993. Web. 05 Aug 2020.

Vancouver:

Wong CK. From action to next and then to always (semantical analysis). [Internet] [Thesis]. Hong Kong University of Science and Technology; 1993. [cited 2020 Aug 05]. Available from: http://repository.ust.hk/ir/Record/1783.1-5574 ; https://doi.org/10.14711/thesis-b433367 ; http://repository.ust.hk/ir/bitstream/1783.1-5574/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:

Wong CK. From action to next and then to always (semantical analysis). [Thesis]. Hong Kong University of Science and Technology; 1993. Available from: http://repository.ust.hk/ir/Record/1783.1-5574 ; https://doi.org/10.14711/thesis-b433367 ; http://repository.ust.hk/ir/bitstream/1783.1-5574/1/th_redirect.html

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


Simon Fraser University

24. Herriman, Michael Lawrence. An analysis of the notions of 'rules' and 'logic' in Ludwig Wittgenstein's Philosophical investigations and some implications for the philosophy of education.  – .

Degree: 1969, Simon Fraser University

Subjects/Keywords: Logic, Symbolic and mathematical.; Education  – Philosophy.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Herriman, M. L. (1969). An analysis of the notions of 'rules' and 'logic' in Ludwig Wittgenstein's Philosophical investigations and some implications for the philosophy of education.  – . (Thesis). Simon Fraser University. Retrieved from http://summit.sfu.ca/item/3493

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

Herriman, Michael Lawrence. “An analysis of the notions of 'rules' and 'logic' in Ludwig Wittgenstein's Philosophical investigations and some implications for the philosophy of education.  – .” 1969. Thesis, Simon Fraser University. Accessed August 05, 2020. http://summit.sfu.ca/item/3493.

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

MLA Handbook (7th Edition):

Herriman, Michael Lawrence. “An analysis of the notions of 'rules' and 'logic' in Ludwig Wittgenstein's Philosophical investigations and some implications for the philosophy of education.  – .” 1969. Web. 05 Aug 2020.

Vancouver:

Herriman ML. An analysis of the notions of 'rules' and 'logic' in Ludwig Wittgenstein's Philosophical investigations and some implications for the philosophy of education.  – . [Internet] [Thesis]. Simon Fraser University; 1969. [cited 2020 Aug 05]. Available from: http://summit.sfu.ca/item/3493.

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

Council of Science Editors:

Herriman ML. An analysis of the notions of 'rules' and 'logic' in Ludwig Wittgenstein's Philosophical investigations and some implications for the philosophy of education.  – . [Thesis]. Simon Fraser University; 1969. Available from: http://summit.sfu.ca/item/3493

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


University of Melbourne

25. Bevan, Thomas L. A defence of formalism.

Degree: 1998, University of Melbourne

Subjects/Keywords: Logic, Symbolic and mathematical; Mathematics; Philosophy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bevan, T. L. (1998). A defence of formalism. (Masters Thesis). University of Melbourne. Retrieved from http://hdl.handle.net/11343/114477

Chicago Manual of Style (16th Edition):

Bevan, Thomas L. “A defence of formalism.” 1998. Masters Thesis, University of Melbourne. Accessed August 05, 2020. http://hdl.handle.net/11343/114477.

MLA Handbook (7th Edition):

Bevan, Thomas L. “A defence of formalism.” 1998. Web. 05 Aug 2020.

Vancouver:

Bevan TL. A defence of formalism. [Internet] [Masters thesis]. University of Melbourne; 1998. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/11343/114477.

Council of Science Editors:

Bevan TL. A defence of formalism. [Masters Thesis]. University of Melbourne; 1998. Available from: http://hdl.handle.net/11343/114477


University of Hong Kong

26. Tong, Chi-fai. On checking the temporal consistency of data.

Degree: 1993, University of Hong Kong

Subjects/Keywords: Logic, Symbolic and mathematical.; Temporal automata.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tong, C. (1993). On checking the temporal consistency of data. (Thesis). University of Hong Kong. Retrieved from http://hdl.handle.net/10722/33168

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

Tong, Chi-fai. “On checking the temporal consistency of data.” 1993. Thesis, University of Hong Kong. Accessed August 05, 2020. http://hdl.handle.net/10722/33168.

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

MLA Handbook (7th Edition):

Tong, Chi-fai. “On checking the temporal consistency of data.” 1993. Web. 05 Aug 2020.

Vancouver:

Tong C. On checking the temporal consistency of data. [Internet] [Thesis]. University of Hong Kong; 1993. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10722/33168.

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

Council of Science Editors:

Tong C. On checking the temporal consistency of data. [Thesis]. University of Hong Kong; 1993. Available from: http://hdl.handle.net/10722/33168

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


University of British Columbia

27. Etherington, David William. Finite default theories .

Degree: 1982, University of British Columbia

 The thesis presents a survey of formalisms for non-monotonic reasoning, providing a sketch of the "state of the art" in the field. Reiter's logic for… (more)

Subjects/Keywords: Logic, Symbolic and mathematical; Default theories

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Etherington, D. W. (1982). Finite default theories . (Thesis). University of British Columbia. Retrieved from http://hdl.handle.net/2429/23138

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

Etherington, David William. “Finite default theories .” 1982. Thesis, University of British Columbia. Accessed August 05, 2020. http://hdl.handle.net/2429/23138.

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

MLA Handbook (7th Edition):

Etherington, David William. “Finite default theories .” 1982. Web. 05 Aug 2020.

Vancouver:

Etherington DW. Finite default theories . [Internet] [Thesis]. University of British Columbia; 1982. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/2429/23138.

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

Council of Science Editors:

Etherington DW. Finite default theories . [Thesis]. University of British Columbia; 1982. Available from: http://hdl.handle.net/2429/23138

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

28. Walk, Stephen Michael. A partial "squeezing theorem" for a particular class of many-valued logics.

Degree: 1994, University of Northern Iowa

1 PDF file (v, 98 pages) Advisors/Committee Members: Michael Millar, Chair, Thesis Committee.

Subjects/Keywords: Many-valued logic; Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Walk, S. M. (1994). A partial "squeezing theorem" for a particular class of many-valued logics. (Thesis). University of Northern Iowa. Retrieved from https://scholarworks.uni.edu/etd/688

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

Walk, Stephen Michael. “A partial "squeezing theorem" for a particular class of many-valued logics.” 1994. Thesis, University of Northern Iowa. Accessed August 05, 2020. https://scholarworks.uni.edu/etd/688.

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

MLA Handbook (7th Edition):

Walk, Stephen Michael. “A partial "squeezing theorem" for a particular class of many-valued logics.” 1994. Web. 05 Aug 2020.

Vancouver:

Walk SM. A partial "squeezing theorem" for a particular class of many-valued logics. [Internet] [Thesis]. University of Northern Iowa; 1994. [cited 2020 Aug 05]. Available from: https://scholarworks.uni.edu/etd/688.

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

Council of Science Editors:

Walk SM. A partial "squeezing theorem" for a particular class of many-valued logics. [Thesis]. University of Northern Iowa; 1994. Available from: https://scholarworks.uni.edu/etd/688

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


Simon Fraser University

29. Gerson, Martin Sebastian. A comparative study of modal propositional semantics.  – .

Degree: 1974, Simon Fraser University

Subjects/Keywords: Semantics (Philosophy); Modality (Logic); Logic, Symbolic and mathematical.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gerson, M. S. (1974). A comparative study of modal propositional semantics.  – . (Thesis). Simon Fraser University. Retrieved from http://summit.sfu.ca/item/3424

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

Gerson, Martin Sebastian. “A comparative study of modal propositional semantics.  – .” 1974. Thesis, Simon Fraser University. Accessed August 05, 2020. http://summit.sfu.ca/item/3424.

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

MLA Handbook (7th Edition):

Gerson, Martin Sebastian. “A comparative study of modal propositional semantics.  – .” 1974. Web. 05 Aug 2020.

Vancouver:

Gerson MS. A comparative study of modal propositional semantics.  – . [Internet] [Thesis]. Simon Fraser University; 1974. [cited 2020 Aug 05]. Available from: http://summit.sfu.ca/item/3424.

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

Council of Science Editors:

Gerson MS. A comparative study of modal propositional semantics.  – . [Thesis]. Simon Fraser University; 1974. Available from: http://summit.sfu.ca/item/3424

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


Simon Fraser University

30. Humphris, Fiona. Completeness and expressive power in propositional dynamic logic.

Degree: 1995, Simon Fraser University

Subjects/Keywords: Logic programming.; Logic, Symbolic and mathematical.; Recursion theory.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Humphris, F. (1995). Completeness and expressive power in propositional dynamic logic. (Thesis). Simon Fraser University. Retrieved from http://summit.sfu.ca/item/6772

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

Humphris, Fiona. “Completeness and expressive power in propositional dynamic logic.” 1995. Thesis, Simon Fraser University. Accessed August 05, 2020. http://summit.sfu.ca/item/6772.

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

MLA Handbook (7th Edition):

Humphris, Fiona. “Completeness and expressive power in propositional dynamic logic.” 1995. Web. 05 Aug 2020.

Vancouver:

Humphris F. Completeness and expressive power in propositional dynamic logic. [Internet] [Thesis]. Simon Fraser University; 1995. [cited 2020 Aug 05]. Available from: http://summit.sfu.ca/item/6772.

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

Council of Science Editors:

Humphris F. Completeness and expressive power in propositional dynamic logic. [Thesis]. Simon Fraser University; 1995. Available from: http://summit.sfu.ca/item/6772

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

[1] [2] [3] [4]

.