Merging fragments of classical logic.

Sun, 01 Jan 2017 00:00:00 +0100

Carlos Caleiro, Sérgio Marcelino, João Marcos:
Merging fragments of classical logic. CoRR abs/1706.08689 (2017)