A linear conservative extension of Zermelo-Fraenkel set theory
type: Item
instance of: scholarly article
title: A linear conservative extension of Zermelo-Fraenkel set theory
zbMATH Open document ID: 0851.03016
DOI: 10.1007/BF00372772
author: Masaru Shirahata
published in: Studia Logica
publication date: 1996-11-04T00:00:00Z
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 910391
zbMATH Keywords: consistency
zbMATH Keywords: set theory with unrestricted comprehension in full linear logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: partial cut-elimination theorem
zbMATH Keywords: subterm property
MaRDI profile type: Publication
cites work: The semantics and proof theory of linear logic
cites work: Linear logic
cites work: Bounded linear logic: A modular approach to polynomial-time computability
cites work: Q3832538
cites work: Q3789529
cites work: A consistent theory of attributes in a logic without contraction
full work available at URL: https://doi.org/10.1007/bf00372772
OpenAlex ID: W2093657228
description: scientific article; zbMATH DE number 910391