A consistent theory of attributes in a logic without contraction

DOI10.1007/BF01053067MaRDI QIDQ1208119zbMATH OpenOpenAlexFDO

Authors Richard B. White

Publication date 16 May 1993

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01053067

zbMATH Keywords

logic without the contraction principle for implicationnatural-deduction calculinon-extensionalnormalizationtype-free consistent contractionless logictype-free theory of attributes

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical and second-order set theories (03E70) Cut-elimination and normal-form theorems (03F05)

Review text

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.

Recommendations

• A consistent prepositional logic without any finite models
• Logics without the contraction rule and residuated lattices
• A logic of graded attributes
• Logics without the contraction rule
• The proof-theoretical analysis of contraction-less relevant logics
• A modal logic of consistency
• scientific article; zbMATH DE number 1222495
• Consistent theories in inconsistent logics
• scientific article; zbMATH DE number 757637
• A note on contraction-free logic for validity

Cited in

(4)

• A linear conservative extension of Zermelo-Fraenkel set theory
• Variations on a theme of Curry
• Paths to triviality
• scientific article; zbMATH DE number 4053575 (Why is no real title available?)

This page was built for publication: A consistent theory of attributes in a logic without contraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1208119)