Return to search

Logical constants : an essay in proof theory

[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.

Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:254815
Date January 1980
CreatorsDosen, Kosta
ContributorsDummett, Michael : Scott, Dana
PublisherUniversity of Oxford
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Sourcehttp://ora.ox.ac.uk/objects/uuid:bdf47c54-66b4-493b-9648-92c94c0f70a5

Page generated in 0.0021 seconds