Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(mathematical logic). Showing records 1 – 30 of 281 total matches.

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

Search Limiters

Last 2 Years | English Only

Universities

Degrees

Levels

Languages

Country

▼ 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

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

Subjects/Keywords: mathematical logic; mathematical logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th 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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

Trybus, Adam. “An Axiom System for a Spatial Logic with Convexity.” 2012. Web. 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

M.Sc.

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

M.Sc.

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

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

Van Wyk, Gertruida Petronella. “A spectrum of logics - ranging from binary to fuzzy systems.” 2012. Web. 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.

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

Council of Science Editors:

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

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


Nanyang Technological University

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

Degree: 2019, Nanyang Technological University

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

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

Note: this citation may be lacking information needed for this citation format:
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

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


Nanyang Technological University

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

Degree: 2010, Nanyang Technological University

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

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

Note: this citation may be lacking information needed for this citation format:
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

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


Nanyang Technological University

9. Wang, Shenling. Contributions to degree structures .

Degree: 2011, Nanyang Technological University

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Trybus, A. (2012). An axiom system for a spatial logic with convexity. (Doctoral Dissertation). University of Manchester. Retrieved from 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

author], [No. “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.

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

M.Ed.

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

Van Staden, Anna Maria. “The role of logical principles in proving conjectures using indirect proof techniques in mathematics.” 2012. Web. 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.

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

Council of Science Editors:

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

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


University of Bath

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

Degree: PhD, 1995, University of Bath

Subjects/Keywords: 510; Mathematical logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

  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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

M.Sc. (Mathematics)

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

Van Drimmelen, Govert Cornelis. “Satisfiability in a logic of games.” 2014. Web. 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.

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

Council of Science Editors:

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

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

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

Degree: 2011, Universidade Federal de Pernambuco

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

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


Universidade Federal de Mato Grosso do Sul

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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

Vaz, Rodrigo Marques. “Formalização do raciocínio lógico baseada na lógica matemática .” 2014. Web. 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.

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

Council of Science Editors:

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

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


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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

Mortensen, Christian Edward. “The theory of inconsistency: inconsistant mathematics and paraconsistent logic.” 2005. Web. 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.

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

Council of Science Editors:

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

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


Victoria University of Wellington

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

Degree: 1972, Victoria University of Wellington

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

Ferguson, George M. “Identity and skolem functions in resolution-based hypothetical reasoning.” 1989. Web. 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

Subjects/Keywords: Logic; Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

Note: this citation may be lacking information needed for this citation format:
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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

Neto, Alberto Leopoldo Batista. “Representatain and combination of logics : conceptual questions.” 2007. Web. 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.

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

Council of Science Editors:

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

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


Universidad Nacional de La Plata

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

Degree: 2011, Universidad Nacional de La Plata

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

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

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

Chicago Manual of Style (16th Edition):

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.

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

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

Note: this citation may be lacking information needed for this citation format:
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

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

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

.