In this note, we will study four implicational logics B, BI, BB′ and BB′I. In [5], Martin and Meyer proved that a formula α is provable in BB′ if and only if α is provable in BB′I and α is not of the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback