A linear conservative extension of Zermelo-Fraenkel set theory

DOI10.1007/BF00372772zbMATH Open0851.03016OpenAlexW2093657228MaRDI QIDQ1919983FDOQ1919983

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics and proof theory of linear logic
• Linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• A consistent theory of attributes in a logic without contraction

Cited In (5)

• Canonical form of Tarski sets in Zermelo-Fraenkel set theory
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• On the regular extension axiom and its variants
• Linear set theory with strict comprehension
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory

   Recommendations

• Linear set theory with strict comprehension 👍 👎
• Title not available (Why is that?) 👍 👎
• Types for Proofs and Programs 👍 👎
• On the consistency of \(\operatorname {ZF}^n\) in \(\operatorname {ZF}^{n+3}\) 👍 👎
• Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets 👍 👎

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

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