Logical constants

Thesis

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

Authors: Dosen, K; Kosta Dosen

• Alternative title: an essay in proof theory
• Publication date: 1980
• Type of award: DPhil
• Level of award: Doctoral
• Awarding institution: University of Oxford
• Language: English
• Keywords: modal logic; logical constants; uniqueness; substructural logics; analysis
• Subjects: Mathematical logic and foundations; Logic