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

Mon, 01 Jan 2018 00:00:00 +0100

Carlos Caleiro, Sérgio Marcelino, João Marcos:
Combining fragments of classical logic: When are interaction principles needed? CoRR abs/1810.05879 (2018)