This project aims to exploit the critical mass developed at Durham around the interplay of cognitive and cultural evolution, to extend its international reach, develop wider connections, across ...

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 ...