scientific article; zbMATH DE number 4053575

MaRDI QIDQ3789529zbMATH OpenFDO

Authors Richard B. White

Publication date 1987

zbMATH Keywords

consistencycontractionless propositional logicGentzen sequent calculusHilbert style axiomatizationpropositional logic BCKunrestricted comprehension principle

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• Logics without the contraction rule
• scientific article; zbMATH DE number 975274
• scientific article; zbMATH DE number 4108723
• On the role of implication in formal logic
• A consistent theory of attributes in a logic without contraction

Cited in

(6)

• Remarks on a survey article on many valued logic by A. Urquhart
• A consistent theory of attributes in a logic without contraction
• A linear conservative extension of Zermelo-Fraenkel set theory
• Variations on a theme of Curry
• On the role of implication in formal logic
• scientific article; zbMATH DE number 975274 (Why is no real title available?)

This page was built for publication:

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