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 295 total matches.

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

Search Limiters

Last 2 Years | English Only

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 October 19, 2019. http://hdl.handle.net/10138/163784.

MLA Handbook (7th Edition):

Paolini, Gianluca. “Independence in Model Theory and Team Semantics.” 2016. Web. 19 Oct 2019.

Vancouver:

Paolini G. Independence in Model Theory and Team Semantics. [Internet] [Doctoral dissertation]. University of Helsinki; 2016. [cited 2019 Oct 19]. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Trybus A. An Axiom System for a Spatial Logic with Convexity. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2019 Oct 19]. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Schamm RF. Zero-one laws and almost sure validities on finite structures. [Internet] [Thesis]. University of Johannesburg; 2012. [cited 2019 Oct 19]. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Iso-Tuisku J. On the uniform one-dimensional fragment over ordered models . [Internet] [Masters thesis]. Tampere University; 2017. [cited 2019 Oct 19]. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Yim AV. On Galois correspondences in formal logic. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Oct 19]. 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 Oxford

6. Kirby, P. J. The theory of exponential differential equations.

Degree: 2006, University of Oxford

 This thesis is a model-theoretic study of exponential differential equations in the context of differential algebra. I define the theory of a set of differential… (more)

Subjects/Keywords: 515.35; Mathematical logic and foundations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kirby, P. J. (2006). The theory of exponential differential equations. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471

Chicago Manual of Style (16th Edition):

Kirby, P J. “The theory of exponential differential equations.” 2006. Doctoral Dissertation, University of Oxford. Accessed October 19, 2019. http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471.

MLA Handbook (7th Edition):

Kirby, P J. “The theory of exponential differential equations.” 2006. Web. 19 Oct 2019.

Vancouver:

Kirby PJ. The theory of exponential differential equations. [Internet] [Doctoral dissertation]. University of Oxford; 2006. [cited 2019 Oct 19]. Available from: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471.

Council of Science Editors:

Kirby PJ. The theory of exponential differential equations. [Doctoral Dissertation]. University of Oxford; 2006. Available from: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471


University of Johannesburg

7. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Van Wyk GP. A spectrum of logics - ranging from binary to fuzzy systems. [Internet] [Thesis]. University of Johannesburg; 2012. [cited 2019 Oct 19]. 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

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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Liu J. Degree structures below 0' . [Internet] [Thesis]. Nanyang Technological University; 2010. [cited 2019 Oct 19]. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Wang S. Contributions to degree structures . [Internet] [Thesis]. Nanyang Technological University; 2011. [cited 2019 Oct 19]. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Fang C. Local structure theory and the Ershov hierarchy . [Internet] [Thesis]. Nanyang Technological University; 2012. [cited 2019 Oct 19]. 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


Nanyang Technological University

11. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Wang S. Splitting theorems and strong reductions . [Internet] [Thesis]. Nanyang Technological University; 2019. [cited 2019 Oct 19]. 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


University of Manchester

12. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Trybus A. An axiom system for a spatial logic with convexity. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2019 Oct 19]. 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

13. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Lu W. Topics in Many-valued and Quantum Algebraic Logic . [Internet] [Thesis]. University of Ottawa; 2016. [cited 2019 Oct 19]. 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

14. [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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

author] [. On the logics of algebra. [Internet] [Thesis]. University of KwaZulu-Natal; 2008. [cited 2019 Oct 19]. 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

15. 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 October 19, 2019. 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. 19 Oct 2019.

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 2019 Oct 19]. 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 Notre Dame

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

Degree: PhD, 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>. (Doctoral Dissertation). University of Notre Dame. Retrieved from https://curate.nd.edu/show/7h149p3100m

Chicago Manual of Style (16th Edition):

Cotter, Sarah. “Characterizing forking in VC-minimal theories</h1>.” 2012. Doctoral Dissertation, University of Notre Dame. Accessed October 19, 2019. https://curate.nd.edu/show/7h149p3100m.

MLA Handbook (7th Edition):

Cotter, Sarah. “Characterizing forking in VC-minimal theories</h1>.” 2012. Web. 19 Oct 2019.

Vancouver:

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

Council of Science Editors:

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


University of Bath

17. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Tabachnikova OM. Fresh orderings of groups. [Internet] [Doctoral dissertation]. University of Bath; 1995. [cited 2019 Oct 19]. 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

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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Naziazeno Galvão E. A class of QFA rings . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2019 Oct 19]. 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


University of Johannesburg

19. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

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


Universidade Federal de Mato Grosso do Sul

20. 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 October 19, 2019. 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. 19 Oct 2019.

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 2019 Oct 19]. 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

21. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Florio S. Completeness of the Predicate Calculus in the Basic Theory of Predication. [Internet] [Masters thesis]. The Ohio State University; 2010. [cited 2019 Oct 19]. 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 Oxford

22. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

D'Silva VV. Logical abstract interpretation. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2019 Oct 19]. 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


University of Canterbury

23. Davies, James Edgar. Changes of Setting and the History of Mathematics: A New Study of Frege.

Degree: Mathematics & Statistics, 2010, University of Canterbury

 This thesis addresses an issue in the philosophy of Mathematics which is little discussed, and indeed little recognised. This issue is the phenomenon of a… (more)

Subjects/Keywords: Philosophy of mathematics; history of mathematics; history of logic; mathematical logic; Gottlob Frege; Immanuel Kant

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Davies, J. E. (2010). Changes of Setting and the History of Mathematics: A New Study of Frege. (Thesis). University of Canterbury. Retrieved from http://hdl.handle.net/10092/4330

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

Davies, James Edgar. “Changes of Setting and the History of Mathematics: A New Study of Frege.” 2010. Thesis, University of Canterbury. Accessed October 19, 2019. http://hdl.handle.net/10092/4330.

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

MLA Handbook (7th Edition):

Davies, James Edgar. “Changes of Setting and the History of Mathematics: A New Study of Frege.” 2010. Web. 19 Oct 2019.

Vancouver:

Davies JE. Changes of Setting and the History of Mathematics: A New Study of Frege. [Internet] [Thesis]. University of Canterbury; 2010. [cited 2019 Oct 19]. Available from: http://hdl.handle.net/10092/4330.

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

Council of Science Editors:

Davies JE. Changes of Setting and the History of Mathematics: A New Study of Frege. [Thesis]. University of Canterbury; 2010. Available from: http://hdl.handle.net/10092/4330

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


University of Oxford

24. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

Anscombe WG. Definability in Henselian fields. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Oct 19]. 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


Victoria University of Wellington

25. 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 October 19, 2019. http://hdl.handle.net/10063/769.

MLA Handbook (7th Edition):

Malcolm, Wilfred Gordon. “Ultraproducts and Higher Order Models.” 1972. Web. 19 Oct 2019.

Vancouver:

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

26. Mortensen, Chris. The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen.

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. (2005). The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen. (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, Chris. “The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen.” 2005. Thesis, University of Adelaide. Accessed October 19, 2019. 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, Chris. “The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen.” 2005. Web. 19 Oct 2019.

Vancouver:

Mortensen C. The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen. [Internet] [Thesis]. University of Adelaide; 2005. [cited 2019 Oct 19]. 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 C. The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen. [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


Tampere University

27. 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 October 19, 2019. https://trepo.tuni.fi/handle/10024/66794.

MLA Handbook (7th Edition):

Kuusisto, Antti. “Modal Fragments of Second-Order Logic .” 2011. Web. 19 Oct 2019.

Vancouver:

Kuusisto A. Modal Fragments of Second-Order Logic . [Internet] [Doctoral dissertation]. Tampere University; 2011. [cited 2019 Oct 19]. 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 Canterbury

28. McKubre-Jordens M. Classifying Material Implications over Minimal Logic.

Degree: 2018, University of Canterbury

 The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years [2–5, 11]. In this note, we investigate some… (more)

Subjects/Keywords: reverse mathematics; minimal logic; ex falso quodlibet; implication; paraconsistent logic; Peirce’s principle; Field of Research::01 - Mathematical Sciences::0101 - Pure Mathematics::010107 - Mathematical Logic, Set Theory, Lattices and Universal Algebra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

M, M. (2018). Classifying Material Implications over Minimal Logic. (Thesis). University of Canterbury. Retrieved from http://hdl.handle.net/10092/15825

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

M, McKubre-Jordens. “Classifying Material Implications over Minimal Logic.” 2018. Thesis, University of Canterbury. Accessed October 19, 2019. http://hdl.handle.net/10092/15825.

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

MLA Handbook (7th Edition):

M, McKubre-Jordens. “Classifying Material Implications over Minimal Logic.” 2018. Web. 19 Oct 2019.

Vancouver:

M M. Classifying Material Implications over Minimal Logic. [Internet] [Thesis]. University of Canterbury; 2018. [cited 2019 Oct 19]. Available from: http://hdl.handle.net/10092/15825.

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

Council of Science Editors:

M M. Classifying Material Implications over Minimal Logic. [Thesis]. University of Canterbury; 2018. Available from: http://hdl.handle.net/10092/15825

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


Cornell University

29. Smythe, Iian. Set theory in infinite-dimensional vector spaces .

Degree: 2017, Cornell University

 We study examples of set-theoretic phenomena occurring in infinite-dimensional spaces, motivated by functional analysis. This includes equivalence relations induced by ideals of operators on a… (more)

Subjects/Keywords: Mathematics; Banach spaces; functional analysis; mathematical logic; Ramsey theory; set theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smythe, I. (2017). Set theory in infinite-dimensional vector spaces . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/56959

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

Smythe, Iian. “Set theory in infinite-dimensional vector spaces .” 2017. Thesis, Cornell University. Accessed October 19, 2019. http://hdl.handle.net/1813/56959.

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

MLA Handbook (7th Edition):

Smythe, Iian. “Set theory in infinite-dimensional vector spaces .” 2017. Web. 19 Oct 2019.

Vancouver:

Smythe I. Set theory in infinite-dimensional vector spaces . [Internet] [Thesis]. Cornell University; 2017. [cited 2019 Oct 19]. Available from: http://hdl.handle.net/1813/56959.

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

Council of Science Editors:

Smythe I. Set theory in infinite-dimensional vector spaces . [Thesis]. Cornell University; 2017. Available from: http://hdl.handle.net/1813/56959

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


University of Alberta

30. 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 October 19, 2019. 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. 19 Oct 2019.

Vancouver:

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

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

.