Advanced search options

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

You searched for `subject:(Logic Symbolic AND mathematical )`

.
Showing records 1 – 30 of
100 total matches.

Search Limiters

Dates

- 2011 – 2015 (21)
- 1991 – 1995 (19)
- 1986 – 1990 (10)

▼ 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

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

►

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

❌

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

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

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

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

►

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

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

►

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

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

►

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: https://era.library.ualberta.ca/files/9w032553x

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

Record Details Similar Records

❌

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

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

URL: http://hdl.handle.net/1957/51243

Subjects/Keywords: Logic; Symbolic and mathematical

Record Details Similar Records

❌

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

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

URL: http://libdigi.unicamp.br/document/?code=vtls000416467

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Johannesburg

8. Hattingh, Johannes Hendrik. Relatiewe semantiese afleibaarheid.

Degree: 2014, University of Johannesburg

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

M.Sc.

Please refer to full text to view abstract

Subjects/Keywords: Logic; Symbolic and mathematical

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/1957/47337

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

❌

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

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

URL: http://hdl.handle.net/1959.9/513382

►

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

❌

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

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

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

Subjects/Keywords: Logic; Symbolic and mathematical.

Record Details Similar Records

❌

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

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

URL: http://hdl.handle.net/2429/22174

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/2429/40302

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

14. Murphy, Carol Lynne Narz. Logic.

Degree: 1976, NC Docks

URL: http://libres.uncg.edu/ir/uncg/f/murphy_carol_1976.pdf

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/2440/38538

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

Record Details Similar Records

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/10063/769

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

❌

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

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

URL: https://digital.library.ryerson.ca/islandora/object/RULA%3A2402

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/2440/110508

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

Record Details Similar Records

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Degree: MS, Mathematics, 2011, Eastern Washington University

URL: https://dc.ewu.edu/theses/3

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/10023/14753

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

❌

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

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

URL: https://repository.tcu.edu/handle/116099117/33789

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

Record Details Similar Records

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

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

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://summit.sfu.ca/item/3493

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

Record Details Similar Records

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Melbourne

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

Degree: 1998, University of Melbourne

URL: http://hdl.handle.net/11343/114477

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

Record Details Similar Records

❌

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

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

URL: http://hdl.handle.net/10722/33168

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

University of British Columbia

27. Etherington, David William. Finite default theories .

Degree: 1982, University of British Columbia

URL: http://hdl.handle.net/2429/23138

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: https://scholarworks.uni.edu/etd/688

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

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

Record Details Similar Records

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://summit.sfu.ca/item/3424

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://summit.sfu.ca/item/6772

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation