Some remarks on the consequence operation in sentential logics
Volume 68 / 1970
Fundamenta Mathematicae 68 (1970), 269-279
DOI: 10.4064/fm-68-3-269-279