A consistent theory of attributes in a logic without contraction (Q1208119)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A consistent theory of attributes in a logic without contraction |
scientific article |
Statements
A consistent theory of attributes in a logic without contraction (English)
0 references
16 May 1993
0 references
A proof-theoretical demonstration is given for the consistency of a type- free theory of attributes \(C\) based on a logic without the contraction principle for implication. \(C\) is presented in axiomatic form and as natural-deduction calculi. The consistency proof is by a normalization theorem for one of the natural-deduction versions. \(C\) is shown to be in a sense highly non-extensional.
0 references
type-free consistent contractionless logic
0 references
type-free theory of attributes
0 references
logic without the contraction principle for implication
0 references
natural-deduction calculi
0 references
normalization
0 references
non-extensional
0 references
