A consistent theory of attributes in a logic without contraction

DOI10.1007/BF01053067zbMath0765.03015OpenAlexW1992629414MaRDI QIDQ1208119

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

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

Mathematics Subject Classification ID

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

Related Items

Paths to triviality ⋮ A linear conservative extension of Zermelo-Fraenkel set theory ⋮ Variations on a theme of Curry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

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