Open Collections

Applications of a natural deduction set theory

University of British Columbia

The goal of this thesis is to demonstrate the versatility and suitability of a logic and set theory NaDSet for providing logical foundations to disparate areas of mathematics and computer science. Category theory has been chosen as the area of mathematics, while programming language semantics and semantics for the lambda calculus are the areas of computer science. In each of the three areas NaDSet provides a logical foundation using exactly the same "logistic" method: Basic concepts are defined as terms of the logic and then the logic is used to derive all theorems; no assumptions in the form of additional axioms or rules of deduction are needed. The thesis demonstrates the ease and directness with which this can be done for the three areas, suggesting that in other, as yet unexplored areas, NaDSet may prove to be equally useful.

Text

2011-03-09

For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.

http://hdl.handle.net/2429/32181

Computer Science

University of British Columbia

Graduate