Publication:2784789

zbMath0990.03038MaRDI QIDQ2784789

Masaru Shirahata

Publication date: 25 July 2002

zbMATH Keywords

consistency; arithmetic; linear logic; cut-elimination; extensionality axiom; linear set theory; set theory with unrestricted comprehension; strict comprehension

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03E35: Consistency and independence results

03E30: Axiomatics of classical set theory and its fragments

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

On arithmetic in the Cantor-Łukasiewicz fuzzy set theory