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

Tue, 01 Jan 2019 00:00:00 +0100

Carlos Caleiro, Sérgio Marcelino , João Marcos :
Combining fragments of classical logic: When are interaction principles needed? Soft Comput. 23(7): 2213-2231 (2019)