Multi-Valued Logic; Semantic Embedding; Higher Order Logic; Automated Reasoning
Disciplines :
Computer science
Author, co-author :
Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic