Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

DOI10.12775/LLP.2016.021zbMath1373.03030OpenAlexW2488544061MaRDI QIDQ4978553

Alexander Steen, Christoph Benzmüller

Publication date: 11 August 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2016.021

zbMATH Keywords

higher-order logicmany-valued logicautomated theorem provingautomationnon-classical logicsemantic embeddingmeta-logical reasoning

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (3)

Extensional higher-order paramodulation in Leo-III ⋮ Unnamed Item ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Uses Software

• TPTP
• Satallax
• Leo-III
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic