1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Carlos Caleiro, João Marcos, Marco Volpe
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here o…