Proof Support for Common Logic
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger · EPiC series in computing · 2018
We present the theoretical background for an extension of the Heterogeneous Tool Set Hets that enables proof support for Common Logic. This is achieved via logic translations that relate Common Logic and some of its sublogics to already supported logics and automated theorem proving systems. We thus provide the first theorem proving support for Common Logic covering the full language, including the possibility of verifying meta-theoretical relationships between Common Logic theories.