Cusin, Roger Une démonstration concernant le théorème d’interpolation généralisé aux ensembles d’énoncés. (French) Zbl 0178.31201 Publ. Dep. Math., Lyon 3, No. 2, 62-70 (1966). Reviewer: T. Hosoi Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03-XX Mathematical logic and foundations Keywords:algebraic logic; Henkin’s extended version; Craig-Lyndon interpolation theorem; strong completeness theorem PDFBibTeX XMLCite \textit{R. Cusin}, Publ. Dép. Math., Lyon 3, No. 2, 62--70 (1966; Zbl 0178.31201)