scientific article
From MaRDI portal
Publication:3789529
zbMath0646.03019MaRDI QIDQ3789529
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencyGentzen sequent calculusunrestricted comprehension principleHilbert style axiomatizationcontractionless propositional logicpropositional logic BCK
Other nonclassical logic (03B60) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)
Related Items (4)
Remarks on a survey article on many valued logic by A. Urquhart ⋮ A linear conservative extension of Zermelo-Fraenkel set theory ⋮ A consistent theory of attributes in a logic without contraction ⋮ Variations on a theme of Curry
This page was built for publication:
