Completeness theorems for some presupposition-free logics
Volume 62 / 1968
Fundamenta Mathematicae 62 (1968), 125-164
DOI: 10.4064/fm-62-2-125-164