Combining fragments of classical logic: When are interaction principles needed?

Carlos Caleiro, Sérgio Marcelino, João Marcos

We investigate the combination of fragments of classical logic as a way of conservatively extending a given Boolean logic by the addition of new connectives, and we precisely chara…