Merging fragments of classical logic

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

We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the…