Advanced search options

Sorted by: relevance · author · university · date | New 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

Dates

- 2015 – 2019 (36)
- 2010 – 2014 (92)
- 2005 – 2009 (73)
- 2000 – 2004 (20)
- 1995 – 1999 (16)
- 1990 – 1994 (20)
- 1985 – 1989 (14)
- 1980 – 1984 (12)
- 1970 – 1974 (13)

Universities

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

Languages

- English (197)
- Portuguese (15)

Country

- US (65)
- Canada (39)
- UK (30)
- New Zealand (26)
- Switzerland (23)
- Brazil (21)
- Spain (17)
- Australia (14)
- South Africa (13)

▼ Search Limiters

University of Helsinki

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

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

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

►

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

Subjects/Keywords: mathematical logic; mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

MLA Handbook (7^{th} Edition):

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

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

►

M.Sc.

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

Tampere University

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

Degree: 2017, Tampere University

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

MLA Handbook (7^{th} Edition):

Iso-Tuisku, Jonne. “On the uniform one-dimensional fragment over ordered models .” 2017. Web. 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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Doctoral Dissertation, University of Oxford. Accessed 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 (7^{th} 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

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

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

❌

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

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

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

►

M.Sc.

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

Subjects/Keywords: Logic; Symbolic and mathematical

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

Nanyang Technological University

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

Degree: 2010, Nanyang Technological University

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Liu, Jiang. “Degree structures below 0' .” 2010. Web. 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.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

Nanyang Technological University

9. Wang, Shenling. Contributions to degree structures .

Degree: 2011, Nanyang Technological University

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Wang, Shenling. “Contributions to degree structures .” 2011. Web. 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.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

Nanyang Technological University

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

Degree: 2012, Nanyang Technological University

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Fang, Chengling. “Local structure theory and the Ershov hierarchy .” 2012. Web. 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.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

Nanyang Technological University

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

Degree: 2019, Nanyang Technological University

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Wang, Shaoyi. “Splitting theorems and strong reductions .” 2019. Web. 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.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Manchester

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

Degree: PhD, 2012, University of Manchester

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

Trybus, Adam. “An axiom system for a spatial logic with convexity.” 2012. Doctoral Dissertation, University of Manchester. Accessed 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 (7^{th} 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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Lu, Weiyun. “Topics in Many-valued and Quantum Algebraic Logic .” 2016. Web. 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.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

University of KwaZulu-Natal

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

Degree: Mathematics, 2008, University of KwaZulu-Natal

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

author], [No. “On the logics of algebra. ” 2008. Web. 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.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Johannesburg

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

Degree: 2012, University of Johannesburg

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

►

M.Ed.

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Notre Dame

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

Degree: PhD, Mathematics, 2012, University of Notre Dame

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

Subjects/Keywords: 510; Mathematical logic

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

Tabachnikova, Olga Markovna. “Fresh orderings of groups.” 1995. Doctoral Dissertation, University of Bath. Accessed 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 (7^{th} 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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Naziazeno Galvão, Eudes. “A class of QFA rings .” 2011. Web. 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.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Johannesburg

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

Degree: 2014, University of Johannesburg

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

►

M.Sc. (Mathematics)

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

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

Not specified: Masters Thesis or Doctoral Dissertation

The Ohio State University

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

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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

MLA Handbook (7^{th} Edition):

Florio, Salvatore. “Completeness of the Predicate Calculus in the Basic Theory of Predication.” 2010. Web. 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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

D'Silva, Vijay Victor. “Logical abstract interpretation.” 2013. Doctoral Dissertation, University of Oxford. Accessed 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 (7^{th} 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

URL: http://hdl.handle.net/10092/4330

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

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

Degree: PhD, 2012, University of Oxford

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

Anscombe, William George. “Definability in Henselian fields.” 2012. Doctoral Dissertation, University of Oxford. Accessed 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 (7^{th} 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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Mortensen, C. (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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

Tampere University

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

Degree: 2011, Tampere University

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

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

URL: http://hdl.handle.net/10092/15825

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

Cornell University

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

Degree: 2017, Cornell University

URL: http://hdl.handle.net/1813/56959

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

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

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

MLA Handbook (7^{th} Edition):

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