No full text
Eprint already available on another site (E-prints, Working papers and Research blog)
I/O Logic in HOL --- First Steps
Benzmüller, Christoph; Parent, Xavier
2018
 

Files


Full Text
No document available.

Send to



Details



Keywords :
own; Higher Order Logic; Deontic Logic Automated Reasoning; Universal Reasoning
Abstract :
[en] A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the-shelf higher-order theorem provers and proof assistants. The key idea for the solution presented here results from the analysis of an inaccurate previous embedding attempt, which we will discuss as well.
Disciplines :
Computer science
Author, co-author :
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Parent, Xavier ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
I/O Logic in HOL --- First Steps
Publication date :
2018
Publisher :
CoRR, Cornell University, United States
Focus Area :
Computational Sciences
Commentary :
https://arxiv.org/abs/1803.09681
Available on ORBilu :
since 24 November 2018

Statistics


Number of views
44 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu