A linear conservative extension of Zermelo-Fraenkel set theory

DOI10.1007/BF00372772zbMath0851.03016OpenAlexW2093657228MaRDI QIDQ1919983

Masaru Shirahata

Publication date: 4 November 1996

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

consistencysequent calculuspartial cut-elimination theoremset theory with unrestricted comprehension in full linear logicsubterm property

Mathematics Subject Classification ID

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

Related Items (1)

On arithmetic in the Cantor-Łukasiewicz fuzzy set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• The semantics and proof theory of linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• A consistent theory of attributes in a logic without contraction

This page was built for publication: A linear conservative extension of Zermelo-Fraenkel set theory