The Cut Elimination Theorem in the Unary Second Order Language

DOI10.2307/2036091zbMATH Open0168.00701OpenAlexW4242369595MaRDI QIDQ5553263FDOQ5553263

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

• Untersuchungen über das logische Schliessen. I
• Solvable cases of the decision problem
• Title not available (Why is that?)
• Title not available (Why is that?)

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)