Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
On the algebra of relevance logics
Dissertation (MSc)--University of Pretoria, 2016.
Saved in:
| Other Authors: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
University of Pretoria
2017
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613670797737984 |
|---|---|
| access_status_str | Open Access |
| author2 | Raftery, James G. |
| author_browse | Raftery, James G. |
| author_facet | Raftery, James G. |
| collection | Thesis |
| dc_rights_str_mv | © 2017 University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria. |
| description | Dissertation (MSc)--University of Pretoria, 2016. |
| format | Thesis |
| id | oai:repository.up.ac.za:2263/60869 |
| institution | University of Pretoria (South Africa) |
| language | English |
| last_indexed | 2026-06-10T12:39:50.639Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UPSpace — University of Pretoria Institutional Repository |
| publishDate | 2017 |
| publishDateRange | 2017 |
| publishDateSort | 2017 |
| publisher | University of Pretoria |
| publisherStr | University of Pretoria |
| record_format | dspace |
| source_str | UPSpace — University of Pretoria Institutional Repository |
| spelling | oai:repository.up.ac.za:2263/60869 On the algebra of relevance logics Raftery, James G. u28409265@tuks.co.za Wannenburg, Johann Joubert UCTD Dissertation (MSc)--University of Pretoria, 2016. After recalling some prerequisites from universal algebra in Chapter 1, we recount in Chapter 2 the general theory of deductive (logical) systems. As working examples, we consider the exponential-free fragment CLL of linear logic and some of its extensions, notably the relevance logic Rt and its fragment R (which lacks a sentential `truth' constant t of Rt). In Chapter 2, we focus on what it means for two deductive systems to be equivalent (in the sense of abstract algebraic logic). To be algebraizable is to be equivalent to the equational consequence relation j=K of some class K of pure algebras. This phenomenon, rst investigated in [11], is explored in detail in Chapter 3, and nearly all of the well-known algebraization results for familiar logics can be viewed as instances of it. For example, CLL is algebraized by the variety of involutive residuated lattices. The algebraization of stronger logics is then a matter of restriction. In particular, Rt corresponds in this way to the variety DMM of De Morgan monoids, which is studied in Chapter 4. Moreover, the subvarieties of DMM algebraize the axiomatic extensions of Rt. The lattice of axiomatic extensions of Rt is naturally of logical interest, but our perspective allows us to view its structure through an entirely algebraic lens: it is interchangeable with the subvariety lattice of DMM. The latter is susceptible to the methods of universal algebra. Exploiting this fact in Chapter 5, we determine (and axiomatize) the minimal subvarieties of DMM, of which, as it happens, there are just four. It follows immediately that Rt has just four maximal consistent axiomatic extensions; they are described transparently. These results do not appear to be in the published literature of relevance logic (perhaps for philosophical reasons relating to the status of the constant t). The new ndings of Chapter 5 allow us to give, in Chapter 6, a simpler proof of a theorem of K. Swirydowicz [59], describing the upper part of the lattice of axiomatic extensions of R. Among the many potential applications of this result, we explain one that was obtained recently in [52]: the logic R has no structurally complete axiomatic consistent extension, except for classical propositional logic. Mathematics and Applied Mathematics MSc Unrestricted 2017-06-05T12:12:41Z 2017-06-05T12:12:41Z 2017-04-21 2016 Dissertation Wannenburg, JJ 2016, On the algebra of relevance logics, MSc Dissertation, University of Pretoria, Pretoria, viewed yymmdd <http://hdl.handle.net/2263/60869> A2017 http://hdl.handle.net/2263/60869 en © 2017 University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria. application/pdf University of Pretoria |
| spellingShingle | UCTD On the algebra of relevance logics |
| title | On the algebra of relevance logics |
| title_full | On the algebra of relevance logics |
| title_fullStr | On the algebra of relevance logics |
| title_full_unstemmed | On the algebra of relevance logics |
| title_short | On the algebra of relevance logics |
| title_sort | on the algebra of relevance logics |
| topic | UCTD |
| url | http://hdl.handle.net/2263/60869 |