The Cut Elimination Theorem in the Unary Second Order Language

DOI10.2307/2036091MaRDI QIDQ5553263zbMATH OpenOpenAlexFDO

Authors Mitsuru Yasuhara

Publication date 1966

Full work available at URL https://doi.org/10.2307/2036091

zbMATH Keywords

algebraic logic, model theory

Cites work

• scientific article; zbMATH DE number 1950433 (Why is no real title available?)
• scientific article; zbMATH DE number 3085191 (Why is no real title available?)
• Solvable cases of the decision problem
• Untersuchungen über das logische Schliessen. I

This page was built for publication: The Cut Elimination Theorem in the Unary Second Order Language

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