Weight of the comprehension axiom in a theory based on logic without contractions

DOI10.1007/BF02674193zbMath0965.03063OpenAlexW2060941807WikidataQ114018418 ScholiaQ114018418MaRDI QIDQ1582825

V. N. Grishin

Publication date: 16 October 2000

Published in: Mathematical Notes (Search for Journal in Brave)

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

zbMATH Keywords

linear logiccomprehension axiomcomprehension principleGentzen sequent calculusextensionality principlelogic without contractionsTakahashi rulesweight of variables

Mathematics Subject Classification ID

Structure of proofs (03F07) Nonclassical and second-order set theories (03E70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Linear logic
• Untersuchungen über das logische Schliessen. I
• Unnamed Item
• Unnamed Item

This page was built for publication: Weight of the comprehension axiom in a theory based on logic without contractions