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.
%0 Conference Paper
%1 MossakowskiEtAl14b
%A Mossakowski, Till
%A Codescu, Mihai
%A Kutz, Oilver
%A Lange, C.
%A Gruninger, M.
%B Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014
%D 2014
%K Common Hets Logic proof translation
%T Proof Support for Common Logic
%X 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.
@inproceedings{MossakowskiEtAl14b,
abstract = {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.},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Mossakowski, Till and Codescu, Mihai and Kutz, Oilver and Lange, C. and Gruninger, M.},
biburl = {https://www.bibsonomy.org/bibtex/2525ca5a5da34492c49ba87d8c14298d7/tillmo},
booktitle = {Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014},
interhash = {558ba739ac759b6541163630dd7c21a1},
intrahash = {525ca5a5da34492c49ba87d8c14298d7},
keywords = {Common Hets Logic proof translation},
pdfurl = {http://www.informatik.uni-bremen.de/~okutz/resources/Proof-Support-for-Common-Logic.pdf},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Proof Support for Common Logic},
year = 2014
}