[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.
| Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:254815 |
| Date | January 1980 |
| Creators | Dosen, Kosta |
| Contributors | Dummett, Michael : Scott, Dana |
| Publisher | University of Oxford |
| Source Sets | Ethos UK |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
| Source | http://ora.ox.ac.uk/objects/uuid:bdf47c54-66b4-493b-9648-92c94c0f70a5 |
Page generated in 0.0011 seconds