A consistent theory of attributes in a logic without contraction (Q1208119)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A consistent theory of attributes in a logic without contraction |
scientific article; zbMATH DE number 165916
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A consistent theory of attributes in a logic without contraction |
scientific article; zbMATH DE number 165916 |
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
0.8693302
0 references
0 references
0 references
0 references
0.84780866
0 references
0.84579825
0 references
