Completeness theorems for some presupposition-free logics H. Leblanc; R. H. Thomason — 1968 Fundamenta Mathematicae