Some syntactical properties of intermediate predicate logics (Q1174672)

An intermediate predicate logic L is said to have the pseudo-relevance property if for all formulas A and B which contain no predicate variable in common, either not-A or B is provable in L whenever A implies B is provable in L. In this paper the author studies the relationship between this property and Halldén-completeness, which is similar to this property in some sense.