A focused sequent calculus for higher-order logic
Paper in proceeding, 2014
Author
Fredrik Lindblad
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8562 LNAI 61-759783319085869 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-319-08587-6_5
ISBN
9783319085869