Reference : On Reductions of Hintikka Sets for Higher-Order Logic
E-prints/Working papers : Already available on another site
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/43235
On Reductions of Hintikka Sets for Higher-Order Logic
English
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Apr-2020
arXiv
Computing Research Repository (CoRR)
9
No
[en] Abstract Consistency ; Semantics ; Higher-Order Logic
Researchers
http://hdl.handle.net/10993/43235
https://arxiv.org/abs/2004.07506
https://arxiv.org/abs/2004.07506

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
2004.07506.pdfPublisher postprint213.42 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.