A note on Schütte's interpolation theorem

DOI10.3792/pja/1195519752zbMath0252.02017OpenAlexW1967187144MaRDI QIDQ5665172

Nobuyoshi Motohashi

Publication date: 1972

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195519752

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Untersuchungen über das logische Schliessen. I
• Unnamed Item

This page was built for publication: A note on Schütte's interpolation theorem