Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Till Mossakowski, Mihai Codescu, Oilver Kutz, C. Lange,, M. Gruninger
Title: Proof Support for Common Logic
Book / Collection title: Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014
Year published: 2014
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.
PDF Version: http://www.informatik.uni-bremen.de/~okutz/resources/Proof-Support-for-Common-Logic.pdf
Keywords: Common Logic proof Hets translation
Status: Reviewed
Last updated: 18. 09. 2014

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum