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