| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Till Mossakowski, Mihai Codescu, Oilver Kutz, C. Lange,, M. Gruninger |
| Titel: |
Proof Support for Common Logic |
| Buch / Sammlungs-Titel: |
Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014 |
| Erscheinungsjahr: |
2014 |
| Abstract / Kurzbeschreibung: |
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. |
| PDF Version: |
http://www.informatik.uni-bremen.de/~okutz/resources/Proof-Support-for-Common-Logic.pdf |
| Schlagworte: |
Common Logic proof Hets translation |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
18. 09. 2014 |
