An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem

DOI10.4288/JAFPOS1956.3.12zbMath0148.00606OpenAlexW1987930641MaRDI QIDQ5526116

Takashi Nagashima

Publication date: 1966

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.3.12

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

The Craig-Lyndon interpolation theorem in 3-valued logic ⋮ A novel approach to equality ⋮ On interpolation when function symbols are present

This page was built for publication: An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem