scientific article; zbMATH DE number 4053575

zbMATH Open0646.03019MaRDI QIDQ3789529FDOQ3789529

Authors: Richard B. White 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

consistencyGentzen sequent calculusunrestricted comprehension principleHilbert style axiomatizationcontractionless propositional logicpropositional logic BCK

Mathematics Subject Classification ID

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

Cited In (5)

• Remarks on a survey article on many valued logic by A. Urquhart
• Variations on a theme of Curry
• On the role of implication in formal logic
• A linear conservative extension of Zermelo-Fraenkel set theory
• A consistent theory of attributes in a logic without contraction

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)