The Cut Elimination Theorem in the Unary Second Order Language

DOI10.2307/2036091zbMath0168.00701OpenAlexW4242369595MaRDI QIDQ5553263

Mitsuru Yasuhara

Publication date: 1966

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

zbMATH Keywords

algebraic logic, model theory

Cites Work

• Untersuchungen über das logische Schliessen. I
• Solvable cases of the decision problem
• Unnamed Item
• Unnamed Item

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