Eprint already available on another site (E-prints, Working papers and Research blog)
On Reductions of Hintikka Sets for Higher-Order Logic
Steen, Alexander; Benzmüller, Christoph
2020
 

Files


Full Text
2004.07506.pdf
Publisher postprint (218.54 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Abstract Consistency; Semantics; Higher-Order Logic
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)
Language :
English
Title :
On Reductions of Hintikka Sets for Higher-Order Logic
Publication date :
April 2020
Publisher :
arXiv
Number of pages :
9
Available on ORBilu :
since 21 May 2020

Statistics


Number of views
109 (2 by Unilu)
Number of downloads
22 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu