A method of comparison of Post-complete propositional logics

Abstract

In this paper we consider a necessary and sufficient condition for every propositional calculus to be Post-complete. We will show, how this condition may be used to compare consequence operations for these calculi.