Automating Free Logic in HOL, with an Experimental Application in Category Theory





Author(s): Benzmüller, Christoph  ; Scott, Dana S.
Title of the Journal: Journal of Automated Reasoning
ISSN: 1573-0670, 0168-7433
Publisher Information: Dordrecht : Springer
Year of publication: 2020
Volume: 64
Pages: 53-72
Language(s): English
DOI: 10.1007/s10817-018-09507-7
URL: https://link.springer.com/article/10.1007/s1081...
Peer Reviewed: Ja
International Distribution: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/55577
Release Date: 16. September 2022