Switch to: References

Add citations

You must login to add citations.
  1. Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
    A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic.Alexander Steen & Christoph Benzmüller - 2016 - Logic and Logical Philosophy 25 (4):535-554.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Sigma: An Integrated Development Environment for Formal Ontology.Adam Pease & Christoph Benzmüller - 2013 - AI Communications 26 (1):79-97.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark