scientific article; zbMATH DE number 3353247

zbMATH Open0223.02021MaRDI QIDQ5628097FDOQ5628097

Authors: Moto-o Takahashi 

Publication date: 1970

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cited In (2)

• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Weight of the comprehension axiom in a theory based on logic without contractions

This page was built for publication:

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