Abstract

We consider conditions under which sequents are derivable in an intuitionistic sequent calculus of propositional star-free likelihood logic iff they are derivable in a classical counterpart of the calculus. Such conditions are defined for sequents with one formula in the succedent (purely Glivenko σ-classes) and for sequents with empty succedent (Glivenko σ-classes).

You do not currently have access to this article.