Use this URL to cite or link to this record in EThOS: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254815 |
![]() |
|||||||
Title: | Logical constants : an essay in proof theory | ||||||
Author: | Dosen, Kosta |
ISNI:
0000 0001 3429 915X
|
|||||
Awarding Body: | University of Oxford | ||||||
Current Institution: | University of Oxford | ||||||
Date of Award: | 1980 | ||||||
Availability of Full Text: |
|
||||||
Abstract: | |||||||
[Abridged abstract] The goal is to give structural proof-theoretical analyses of logical constants, and thereby provide a criterion for what a logical constant is. Another goal is to illustrate the thesis that structural assumptions of logic are basic and that alternative logics (later called substructural logics) differ from each other only in their structural assumptions, and not in their assumptions about logical constants.
|
|||||||
Supervisor: | Dummett, Michael ; Scott, Dana | Sponsor: | Not available | ||||
Qualification Name: | Thesis (Ph.D.) | Qualification Level: | Doctoral | ||||
EThOS ID: | uk.bl.ethos.254815 | DOI: | Not available | ||||
Keywords: | Mathematical logic and foundations ; Logic ; logical constants ; analysis ; substructural logics ; modal logic ; uniqueness | ||||||
Share: |