Advanced search options

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

You searched for `subject:(mathematical logic)`

.
Showing records 1 – 30 of
281 total matches.

◁ [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] ▶

Search Limiters

Dates

- 2016 – 2020 (21)
- 2011 – 2015 (83)
- 2006 – 2010 (72)
- 2001 – 2005 (29)
- 1996 – 2000 (16)
- 1991 – 1995 (26)
- 1986 – 1990 (15)
- 1981 – 1985 (11)
- 1971 – 1975 (15)

Universities

- ETH Zürich (24)
- University of Oxford (23)
- McGill University (13)

Languages

- English (177)
- Portuguese (15)

Country

- US (72)
- Canada (41)
- UK (34)
- Switzerland (24)
- Brazil (21)
- Australia (16)
- South Africa (13)
- Spain (10)

▼ Search Limiters

University of Helsinki

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

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

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

►

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

Subjects/Keywords: mathematical logic; mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

MLA Handbook (7^{th} Edition):

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

Vancouver:

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

Council of Science Editors:

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

University of Manchester

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

Degree: 2012, University of Manchester

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

MLA Handbook (7^{th} Edition):

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

Vancouver:

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

Council of Science Editors:

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

University of Johannesburg

3. 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

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

Schamm, Rainer Franz. “Zero-one laws and almost sure validities on finite structures.” 2012. Thesis, University of Johannesburg. Accessed July 03, 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 (7^{th} Edition):

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

Vancouver:

Schamm RF. Zero-one laws and almost sure validities on finite structures. [Internet] [Thesis]. University of Johannesburg; 2012. [cited 2020 Jul 03]. 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

Not specified: Masters Thesis or Doctoral Dissertation

Tampere University

4. Iso-Tuisku, Jonne. On the uniform one-dimensional fragment over ordered models .

Degree: 2017, Tampere University

URL: https://trepo.tuni.fi/handle/10024/101555

► The uniform one-dimensional fragment U1 is a recently introduced extension of the two-variable fragment FO2. The *logic* U1 enables the use of relation symbols of…
(more)

Subjects/Keywords: mathematical logic; two-variable logic; decidability; complexity

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Iso-Tuisku, J. (2017). On the uniform one-dimensional fragment over ordered models . (Masters Thesis). Tampere University. Retrieved from https://trepo.tuni.fi/handle/10024/101555

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

Iso-Tuisku, Jonne. “On the uniform one-dimensional fragment over ordered models .” 2017. Masters Thesis, Tampere University. Accessed July 03, 2020. https://trepo.tuni.fi/handle/10024/101555.

MLA Handbook (7^{th} Edition):

Iso-Tuisku, Jonne. “On the uniform one-dimensional fragment over ordered models .” 2017. Web. 03 Jul 2020.

Vancouver:

Iso-Tuisku J. On the uniform one-dimensional fragment over ordered models . [Internet] [Masters thesis]. Tampere University; 2017. [cited 2020 Jul 03]. Available from: https://trepo.tuni.fi/handle/10024/101555.

Council of Science Editors:

Iso-Tuisku J. On the uniform one-dimensional fragment over ordered models . [Masters Thesis]. Tampere University; 2017. Available from: https://trepo.tuni.fi/handle/10024/101555

University of Oxford

5.
Yim, Austin Vincent.
On Galois correspondences in formal * logic*.

Degree: PhD, 2012, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

► This thesis examines two approaches to Galois correspondences in formal *logic*. A standard result of classical first-order model theory is the observation that models of…
(more)

Subjects/Keywords: 511.3; Mathematics; Mathematical logic and foundations; Logic; Number theory; Mathematical logic; model theory; substructural logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Yim, A. V. (2012). On Galois correspondences in formal logic. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

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

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 03, 2020. http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

MLA Handbook (7^{th} Edition):

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Web. 03 Jul 2020.

Vancouver:

Yim AV. On Galois correspondences in formal logic. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jul 03]. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

Council of Science Editors:

Yim AV. On Galois correspondences in formal logic. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

University of Johannesburg

6. 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

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 July 03, 2020. http://hdl.handle.net/10210/7278.

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. 03 Jul 2020.

Vancouver:

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

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

Nanyang Technological University

7. Wang, Shaoyi. Splitting theorems and strong reductions .

Degree: 2019, Nanyang Technological University

URL: http://hdl.handle.net/10220/49671

This thesis involves the application of set splitting method in various problems in computability theory, with special respect to strong reductions within this research.

Subjects/Keywords: Science::Mathematics::Mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Wang, S. (2019). Splitting theorems and strong reductions . (Thesis). Nanyang Technological University. Retrieved from http://hdl.handle.net/10220/49671

Not specified: Masters Thesis or Doctoral Dissertation

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

Wang, Shaoyi. “Splitting theorems and strong reductions .” 2019. Thesis, Nanyang Technological University. Accessed July 03, 2020. http://hdl.handle.net/10220/49671.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Wang, Shaoyi. “Splitting theorems and strong reductions .” 2019. Web. 03 Jul 2020.

Vancouver:

Wang S. Splitting theorems and strong reductions . [Internet] [Thesis]. Nanyang Technological University; 2019. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10220/49671.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wang S. Splitting theorems and strong reductions . [Thesis]. Nanyang Technological University; 2019. Available from: http://hdl.handle.net/10220/49671

Not specified: Masters Thesis or Doctoral Dissertation

Nanyang Technological University

8. Liu, Jiang. Degree structures below 0' .

Degree: 2010, Nanyang Technological University

URL: http://hdl.handle.net/10356/20921

► This thesis is concerned with various degree structures below 0', varying from Turing degrees to truth-table degrees, from computably enumerable degrees to ∆_{2}^{0} degrees. In…
(more)

Subjects/Keywords: DRNTU::Science::Mathematics::Mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Liu, J. (2010). Degree structures below 0' . (Thesis). Nanyang Technological University. Retrieved from http://hdl.handle.net/10356/20921

Not specified: Masters Thesis or Doctoral Dissertation

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

Liu, Jiang. “Degree structures below 0' .” 2010. Thesis, Nanyang Technological University. Accessed July 03, 2020. http://hdl.handle.net/10356/20921.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Liu, Jiang. “Degree structures below 0' .” 2010. Web. 03 Jul 2020.

Vancouver:

Liu J. Degree structures below 0' . [Internet] [Thesis]. Nanyang Technological University; 2010. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10356/20921.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liu J. Degree structures below 0' . [Thesis]. Nanyang Technological University; 2010. Available from: http://hdl.handle.net/10356/20921

Not specified: Masters Thesis or Doctoral Dissertation

Nanyang Technological University

9. Wang, Shenling. Contributions to degree structures .

Degree: 2011, Nanyang Technological University

URL: http://hdl.handle.net/10356/46540

► The investigation of computably enumerable degrees has led to the deep understanding of degree structures and the development of various construction techniques. This thesis is…
(more)

Subjects/Keywords: DRNTU::Science::Mathematics::Mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Wang, S. (2011). Contributions to degree structures . (Thesis). Nanyang Technological University. Retrieved from http://hdl.handle.net/10356/46540

Not specified: Masters Thesis or Doctoral Dissertation

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

Wang, Shenling. “Contributions to degree structures .” 2011. Thesis, Nanyang Technological University. Accessed July 03, 2020. http://hdl.handle.net/10356/46540.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Wang, Shenling. “Contributions to degree structures .” 2011. Web. 03 Jul 2020.

Vancouver:

Wang S. Contributions to degree structures . [Internet] [Thesis]. Nanyang Technological University; 2011. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10356/46540.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wang S. Contributions to degree structures . [Thesis]. Nanyang Technological University; 2011. Available from: http://hdl.handle.net/10356/46540

Not specified: Masters Thesis or Doctoral Dissertation

Nanyang Technological University

10. Fang, Chengling. Local structure theory and the Ershov hierarchy .

Degree: 2012, Nanyang Technological University

URL: http://hdl.handle.net/10356/48687

► This thesis is concerned with three special properties of Turing degree structure and the Ershov hierarchy. We study the distributions of the nonhemimaximal c.e. degrees,…
(more)

Subjects/Keywords: DRNTU::Science::Mathematics::Mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Fang, C. (2012). Local structure theory and the Ershov hierarchy . (Thesis). Nanyang Technological University. Retrieved from http://hdl.handle.net/10356/48687

Not specified: Masters Thesis or Doctoral Dissertation

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

Fang, Chengling. “Local structure theory and the Ershov hierarchy .” 2012. Thesis, Nanyang Technological University. Accessed July 03, 2020. http://hdl.handle.net/10356/48687.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Fang, Chengling. “Local structure theory and the Ershov hierarchy .” 2012. Web. 03 Jul 2020.

Vancouver:

Fang C. Local structure theory and the Ershov hierarchy . [Internet] [Thesis]. Nanyang Technological University; 2012. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10356/48687.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fang C. Local structure theory and the Ershov hierarchy . [Thesis]. Nanyang Technological University; 2012. Available from: http://hdl.handle.net/10356/48687

Not specified: Masters Thesis or Doctoral Dissertation

University of Manchester

11.
Trybus, Adam.
An axiom system for a spatial *logic* with convexity.

Degree: PhD, 2012, University of Manchester

URL: https://www.research.manchester.ac.uk/portal/en/theses/an-axiom-system-for-a-spatial-logic-with-convexity(cd19b55f-b4e5-4782-90f2-d3c0ad79891b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553496

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Trybus, A. (2012). An axiom system for a spatial logic with convexity. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/an-axiom-system-for-a-spatial-logic-with-convexity(cd19b55f-b4e5-4782-90f2-d3c0ad79891b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553496

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

Trybus, Adam. “An axiom system for a spatial logic with convexity.” 2012. Doctoral Dissertation, University of Manchester. Accessed July 03, 2020. https://www.research.manchester.ac.uk/portal/en/theses/an-axiom-system-for-a-spatial-logic-with-convexity(cd19b55f-b4e5-4782-90f2-d3c0ad79891b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553496.

MLA Handbook (7^{th} Edition):

Trybus, Adam. “An axiom system for a spatial logic with convexity.” 2012. Web. 03 Jul 2020.

Vancouver:

Trybus A. An axiom system for a spatial logic with convexity. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2020 Jul 03]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/an-axiom-system-for-a-spatial-logic-with-convexity(cd19b55f-b4e5-4782-90f2-d3c0ad79891b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553496.

Council of Science Editors:

Trybus A. An axiom system for a spatial logic with convexity. [Doctoral Dissertation]. University of Manchester; 2012. Available from: https://www.research.manchester.ac.uk/portal/en/theses/an-axiom-system-for-a-spatial-logic-with-convexity(cd19b55f-b4e5-4782-90f2-d3c0ad79891b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553496

University of Ottawa

12.
Lu, Weiyun.
Topics in Many-valued and Quantum Algebraic * Logic*
.

Degree: 2016, University of Ottawa

URL: http://hdl.handle.net/10393/35173

► Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Łukasiewicz) logics what boolean algebras are to two-valued *logic*. More recently, effect algebras…
(more)

Subjects/Keywords: mv algebra; effect algebra; many valued-logic; quantum logic; algebraic logic; mathematical logic; category theory; categorical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Lu, W. (2016). Topics in Many-valued and Quantum Algebraic Logic . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/35173

Not specified: Masters Thesis or Doctoral Dissertation

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

Lu, Weiyun. “Topics in Many-valued and Quantum Algebraic Logic .” 2016. Thesis, University of Ottawa. Accessed July 03, 2020. http://hdl.handle.net/10393/35173.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Lu, Weiyun. “Topics in Many-valued and Quantum Algebraic Logic .” 2016. Web. 03 Jul 2020.

Vancouver:

Lu W. Topics in Many-valued and Quantum Algebraic Logic . [Internet] [Thesis]. University of Ottawa; 2016. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10393/35173.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lu W. Topics in Many-valued and Quantum Algebraic Logic . [Thesis]. University of Ottawa; 2016. Available from: http://hdl.handle.net/10393/35173

Not specified: Masters Thesis or Doctoral Dissertation

University of KwaZulu-Natal

13. [No author]. On the logics of algebra.

Degree: Mathematics, 2008, University of KwaZulu-Natal

URL: http://hdl.handle.net/10413/436

► We present and consider a number of logics that arise naturally from universal algebraic considerations, but which are ‘inherently unalgebraizable’ in the sense of [BP89a],…
(more)

Subjects/Keywords: Algebra, Abstract.; Logic, Symbolic and mathematical.; Mathematics.

Record Details Similar Records

❌

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

APA (6^{th} Edition):

author], [. (2008). On the logics of algebra. (Thesis). University of KwaZulu-Natal. Retrieved from http://hdl.handle.net/10413/436

Not specified: Masters Thesis or Doctoral Dissertation

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

author], [No. “On the logics of algebra. ” 2008. Thesis, University of KwaZulu-Natal. Accessed July 03, 2020. http://hdl.handle.net/10413/436.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

author], [No. “On the logics of algebra. ” 2008. Web. 03 Jul 2020.

Vancouver:

author] [. On the logics of algebra. [Internet] [Thesis]. University of KwaZulu-Natal; 2008. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10413/436.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

author] [. On the logics of algebra. [Thesis]. University of KwaZulu-Natal; 2008. Available from: http://hdl.handle.net/10413/436

Not specified: Masters Thesis or Doctoral Dissertation

University of Johannesburg

14. 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 July 03, 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. 03 Jul 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 Jul 03]. 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 Bath

15. Tabachnikova, Olga Markovna. Fresh orderings of groups.

Degree: PhD, 1995, University of Bath

URL: https://researchportal.bath.ac.uk/en/studentthesis/fresh-orderings-of-groups(6efc9cec-bca4-4693-8c31-376c2ed5c478).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295448

Subjects/Keywords: 510; Mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Tabachnikova, O. M. (1995). Fresh orderings of groups. (Doctoral Dissertation). University of Bath. Retrieved from https://researchportal.bath.ac.uk/en/studentthesis/fresh-orderings-of-groups(6efc9cec-bca4-4693-8c31-376c2ed5c478).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295448

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

Tabachnikova, Olga Markovna. “Fresh orderings of groups.” 1995. Doctoral Dissertation, University of Bath. Accessed July 03, 2020. https://researchportal.bath.ac.uk/en/studentthesis/fresh-orderings-of-groups(6efc9cec-bca4-4693-8c31-376c2ed5c478).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295448.

MLA Handbook (7^{th} Edition):

Tabachnikova, Olga Markovna. “Fresh orderings of groups.” 1995. Web. 03 Jul 2020.

Vancouver:

Tabachnikova OM. Fresh orderings of groups. [Internet] [Doctoral dissertation]. University of Bath; 1995. [cited 2020 Jul 03]. Available from: https://researchportal.bath.ac.uk/en/studentthesis/fresh-orderings-of-groups(6efc9cec-bca4-4693-8c31-376c2ed5c478).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295448.

Council of Science Editors:

Tabachnikova OM. Fresh orderings of groups. [Doctoral Dissertation]. University of Bath; 1995. Available from: https://researchportal.bath.ac.uk/en/studentthesis/fresh-orderings-of-groups(6efc9cec-bca4-4693-8c31-376c2ed5c478).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295448

University of Notre Dame

16. Sarah Cotter. Characterizing forking in VC-minimal theories</h1>.

Degree: Mathematics, 2012, University of Notre Dame

URL: https://curate.nd.edu/show/7h149p3100m

► We consider the class of VC-minimal theories, as introduced by Adler in [2]. After covering some basic results, including a notion of generic types,…
(more)

Subjects/Keywords: model theory; Mathematical logic; VC-minimality

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Cotter, S. (2012). Characterizing forking in VC-minimal theories</h1>. (Thesis). University of Notre Dame. Retrieved from https://curate.nd.edu/show/7h149p3100m

Not specified: Masters Thesis or Doctoral Dissertation

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

Cotter, Sarah. “Characterizing forking in VC-minimal theories</h1>.” 2012. Thesis, University of Notre Dame. Accessed July 03, 2020. https://curate.nd.edu/show/7h149p3100m.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Cotter, Sarah. “Characterizing forking in VC-minimal theories</h1>.” 2012. Web. 03 Jul 2020.

Vancouver:

Cotter S. Characterizing forking in VC-minimal theories</h1>. [Internet] [Thesis]. University of Notre Dame; 2012. [cited 2020 Jul 03]. Available from: https://curate.nd.edu/show/7h149p3100m.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cotter S. Characterizing forking in VC-minimal theories</h1>. [Thesis]. University of Notre Dame; 2012. Available from: https://curate.nd.edu/show/7h149p3100m

Not specified: Masters Thesis or Doctoral Dissertation

University of Johannesburg

17.
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 July 03, 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. 03 Jul 2020.

Vancouver:

Van Drimmelen GC. Satisfiability in a logic of games. [Internet] [Thesis]. University of Johannesburg; 2014. [cited 2020 Jul 03]. 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

18. Naziazeno Galvão, Eudes. A class of QFA rings .

Degree: 2011, Universidade Federal de Pernambuco

URL: http://repositorio.ufpe.br/handle/123456789/1291

► Nesta tese, provamos que todo domínio infinito finitamente gerado é bi-interpretável com a estrutura dos números naturais. Usando este argumento, demonstramos que todo anel f.g.…
(more)

Subjects/Keywords: Mathematical Logic; Model Theory First Order Logic; QFA Rings

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Naziazeno Galvão, E. (2011). A class of QFA rings . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1291

Not specified: Masters Thesis or Doctoral Dissertation

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

Naziazeno Galvão, Eudes. “A class of QFA rings .” 2011. Thesis, Universidade Federal de Pernambuco. Accessed July 03, 2020. http://repositorio.ufpe.br/handle/123456789/1291.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Naziazeno Galvão, Eudes. “A class of QFA rings .” 2011. Web. 03 Jul 2020.

Vancouver:

Naziazeno Galvão E. A class of QFA rings . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2020 Jul 03]. Available from: http://repositorio.ufpe.br/handle/123456789/1291.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Naziazeno Galvão E. A class of QFA rings . [Thesis]. Universidade Federal de Pernambuco; 2011. Available from: http://repositorio.ufpe.br/handle/123456789/1291

Not specified: Masters Thesis or Doctoral Dissertation

Universidade Federal de Mato Grosso do Sul

19. 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 July 03, 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. 03 Jul 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 Jul 03]. 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

The Ohio State University

20. Florio, Salvatore. Completeness of the Predicate Calculus in the Basic Theory of Predication.

Degree: MS, Mathematics, 2010, The Ohio State University

URL: http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327

► In the first part of the thesis, we present the Basic Theory of Predication as elaborated by Harvey Friedman. Within the Basic Theory of Predication,…
(more)

Subjects/Keywords: Mathematics; mathematical logic; logic; everything; unrestricted quantification; basic theory of predication; completeness; model theory

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Florio, S. (2010). Completeness of the Predicate Calculus in the Basic Theory of Predication. (Masters Thesis). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327

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

Florio, Salvatore. “Completeness of the Predicate Calculus in the Basic Theory of Predication.” 2010. Masters Thesis, The Ohio State University. Accessed July 03, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327.

MLA Handbook (7^{th} Edition):

Florio, Salvatore. “Completeness of the Predicate Calculus in the Basic Theory of Predication.” 2010. Web. 03 Jul 2020.

Vancouver:

Florio S. Completeness of the Predicate Calculus in the Basic Theory of Predication. [Internet] [Masters thesis]. The Ohio State University; 2010. [cited 2020 Jul 03]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327.

Council of Science Editors:

Florio S. Completeness of the Predicate Calculus in the Basic Theory of Predication. [Masters Thesis]. The Ohio State University; 2010. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327

University of Adelaide

21.
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 July 03, 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. 03 Jul 2020.

Vancouver:

Mortensen CE. The theory of inconsistency: inconsistant mathematics and paraconsistent logic. [Internet] [Thesis]. University of Adelaide; 2005. [cited 2020 Jul 03]. 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

22. 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 July 03, 2020. http://hdl.handle.net/10063/769.

MLA Handbook (7^{th} Edition):

Malcolm, Wilfred Gordon. “Ultraproducts and Higher Order Models.” 1972. Web. 03 Jul 2020.

Vancouver:

Malcolm WG. Ultraproducts and Higher Order Models. [Internet] [Doctoral dissertation]. Victoria University of Wellington; 1972. [cited 2020 Jul 03]. 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

University of Oxford

23. Anscombe, William George. Definability in Henselian fields.

Degree: PhD, 2012, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

► We investigate definability in henselian fields. Specifically, we are interested in those sets and substructures that are existentially definable or definable with `few' parameters. Our…
(more)

Subjects/Keywords: 511.324; Mathematical logic and foundations; logic; 03C model theory; 12L field theory; polynomials

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Anscombe, W. G. (2012). Definability in Henselian fields. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

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

Anscombe, William George. “Definability in Henselian fields.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 03, 2020. http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039.

MLA Handbook (7^{th} Edition):

Anscombe, William George. “Definability in Henselian fields.” 2012. Web. 03 Jul 2020.

Vancouver:

Anscombe WG. Definability in Henselian fields. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jul 03]. Available from: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039.

Council of Science Editors:

Anscombe WG. Definability in Henselian fields. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

University of Oxford

24. D'Silva, Vijay Victor. Logical abstract interpretation.

Degree: PhD, 2013, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

► Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of *logic* and abstract…
(more)

Subjects/Keywords: 005.115; Computer science (mathematics); Mathematical logic and foundations; Logic; Lattice Theory; Abstract Interpretation

Record Details Similar Records

❌

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

APA (6^{th} Edition):

D'Silva, V. V. (2013). Logical abstract interpretation. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

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

D'Silva, Vijay Victor. “Logical abstract interpretation.” 2013. Doctoral Dissertation, University of Oxford. Accessed July 03, 2020. http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322.

MLA Handbook (7^{th} Edition):

D'Silva, Vijay Victor. “Logical abstract interpretation.” 2013. Web. 03 Jul 2020.

Vancouver:

D'Silva VV. Logical abstract interpretation. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jul 03]. Available from: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322.

Council of Science Editors:

D'Silva VV. Logical abstract interpretation. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

Tampere University

25.
Kuusisto, Antti.
Modal Fragments of Second-Order * Logic*
.

Degree: 2011, Tampere University

URL: https://trepo.tuni.fi/handle/10024/66794

► Formaalin logiikan tutkimuskohteina ovat erilaiset muodolliset systeemit eli logiikat, joiden avulla voidaan mm. mekanisoida monenlaisia päättelyprosesseja. Eräs modernin formaalin logiikan keskeisistä tutkimusaiheista on modaalilogiikka, jossa…
(more)

Subjects/Keywords: matematiikka; matemaattinen logiikka; modaalilogiikka; toisen kertaluvun logiikka; malliteoria; mathematics; mathematical logic; modal logic; second-order logic; model theory

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Kuusisto, A. (2011). Modal Fragments of Second-Order Logic . (Doctoral Dissertation). Tampere University. Retrieved from https://trepo.tuni.fi/handle/10024/66794

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

Kuusisto, Antti. “Modal Fragments of Second-Order Logic .” 2011. Doctoral Dissertation, Tampere University. Accessed July 03, 2020. https://trepo.tuni.fi/handle/10024/66794.

MLA Handbook (7^{th} Edition):

Kuusisto, Antti. “Modal Fragments of Second-Order Logic .” 2011. Web. 03 Jul 2020.

Vancouver:

Kuusisto A. Modal Fragments of Second-Order Logic . [Internet] [Doctoral dissertation]. Tampere University; 2011. [cited 2020 Jul 03]. Available from: https://trepo.tuni.fi/handle/10024/66794.

Council of Science Editors:

Kuusisto A. Modal Fragments of Second-Order Logic . [Doctoral Dissertation]. Tampere University; 2011. Available from: https://trepo.tuni.fi/handle/10024/66794

University of Alberta

26. 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 July 03, 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. 03 Jul 2020.

Vancouver:

Ferguson GM. Identity and skolem functions in resolution-based hypothetical reasoning. [Internet] [Masters thesis]. University of Alberta; 1989. [cited 2020 Jul 03]. 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

27. 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 July 03, 2020. http://hdl.handle.net/1957/51243.

MLA Handbook (7^{th} Edition):

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

Vancouver:

Clark DL. The algebra and topology of binary relations. [Internet] [Masters thesis]. Oregon State University; 1955. [cited 2020 Jul 03]. 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

Nelson Mandela Metropolitan University

28. Brey, Amina. Multiple representations and cognitive load: words, arrows, and colours when solving algebraic problems.

Degree: Faculty of Education, 2013, Nelson Mandela Metropolitan University

URL: http://hdl.handle.net/10948/d1020392

► This study investigates the possible effects that access to selected multiple representations (words, arrows and colours) have in terms of cognitive load and learner achievement…
(more)

Subjects/Keywords: Algebraic logic; Mathematical analysis; Mathematics – Study and teaching

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Brey, A. (2013). Multiple representations and cognitive load: words, arrows, and colours when solving algebraic problems. (Thesis). Nelson Mandela Metropolitan University. Retrieved from http://hdl.handle.net/10948/d1020392

Not specified: Masters Thesis or Doctoral Dissertation

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

Brey, Amina. “Multiple representations and cognitive load: words, arrows, and colours when solving algebraic problems.” 2013. Thesis, Nelson Mandela Metropolitan University. Accessed July 03, 2020. http://hdl.handle.net/10948/d1020392.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Brey, Amina. “Multiple representations and cognitive load: words, arrows, and colours when solving algebraic problems.” 2013. Web. 03 Jul 2020.

Vancouver:

Brey A. Multiple representations and cognitive load: words, arrows, and colours when solving algebraic problems. [Internet] [Thesis]. Nelson Mandela Metropolitan University; 2013. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10948/d1020392.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Brey A. Multiple representations and cognitive load: words, arrows, and colours when solving algebraic problems. [Thesis]. Nelson Mandela Metropolitan University; 2013. Available from: http://hdl.handle.net/10948/d1020392

Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

29. 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 July 03, 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. 03 Jul 2020.

Vancouver:

Neto ALB. Representatain and combination of logics : conceptual questions. [Internet] [Thesis]. Universidade Estadual de Campinas; 2007. [cited 2020 Jul 03]. 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

Universidad Nacional de La Plata

30. San Martín, Hernán Javier. Álgebras de Heyting con sucesor.

Degree: 2011, Universidad Nacional de La Plata

URL: http://hdl.handle.net/10915/2707

►

En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de… (more)

Subjects/Keywords: Ciencias Exactas; Matemática; álgebra; cálculo proposicional intuicionista; lógica; Mathematical Logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

San Martín, H. J. (2011). Álgebras de Heyting con sucesor. (Thesis). Universidad Nacional de La Plata. Retrieved from http://hdl.handle.net/10915/2707

Not specified: Masters Thesis or Doctoral Dissertation

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

San Martín, Hernán Javier. “Álgebras de Heyting con sucesor.” 2011. Thesis, Universidad Nacional de La Plata. Accessed July 03, 2020. http://hdl.handle.net/10915/2707.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

San Martín, Hernán Javier. “Álgebras de Heyting con sucesor.” 2011. Web. 03 Jul 2020.

Vancouver:

San Martín HJ. Álgebras de Heyting con sucesor. [Internet] [Thesis]. Universidad Nacional de La Plata; 2011. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10915/2707.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

San Martín HJ. Álgebras de Heyting con sucesor. [Thesis]. Universidad Nacional de La Plata; 2011. Available from: http://hdl.handle.net/10915/2707

Not specified: Masters Thesis or Doctoral Dissertation