Automating Free Logic in HOL, with an Experimental Application in Category Theory. Benzmüller, C. & Scott, D. S. Journal of Automated Reasoning, 64(1):53–72, Springer Netherlands, 2020. ![Automating Free Logic in HOL, with an Experimental Application in Category Theory [link]](https://bibbase.org/img/filetypes/link.svg "link")
Preprint doi bibtex 1 download @article{J40,
author = {Christoph Benzm{\"u}ller and Scott, Dana S.},
Keywords = {own, Automated Reasoning, Free Logic, Higher Order
Logic, Category Theory},
title = {Automating Free Logic in {HOL}, with an Experimental
Application in Category Theory},
volume = 64,
number = 1,
pages = {53--72},
year = 2020,
OPTurl = {http://doi.org/10.13140/RG.2.2.11432.83202},
journal = {Journal of Automated Reasoning},
publisher = {Springer Netherlands},
doi = {10.1007/s10817-018-09507-7},
url_preprint = {http://doi.org/10.13140/RG.2.2.11432.83202},
}
Downloads: 1
{"_id":"JTWHy6gaC92v8huMB","bibbaseid":"benzmller-scott-automatingfreelogicinholwithanexperimentalapplicationincategorytheory-2020","author_short":["Benzmüller, C.","Scott, D. S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Scott"],"firstnames":["Dana","S."],"suffixes":[]}],"keywords":"own, Automated Reasoning, Free Logic, Higher Order Logic, Category Theory","title":"Automating Free Logic in HOL, with an Experimental Application in Category Theory","volume":"64","number":"1","pages":"53–72","year":"2020","opturl":"http://doi.org/10.13140/RG.2.2.11432.83202","journal":"Journal of Automated Reasoning","publisher":"Springer Netherlands","doi":"10.1007/s10817-018-09507-7","url_preprint":"http://doi.org/10.13140/RG.2.2.11432.83202","bibtex":"@article{J40,\n author =\t {Christoph Benzm{\\\"u}ller and Scott, Dana S.},\n Keywords =\t {own, Automated Reasoning, Free Logic, Higher Order\n Logic, Category Theory},\n title =\t {Automating Free Logic in {HOL}, with an Experimental\n Application in Category Theory},\n volume =\t 64,\n number =\t 1,\n pages =\t {53--72},\n year =\t 2020,\n OPTurl = {http://doi.org/10.13140/RG.2.2.11432.83202},\n journal =\t {Journal of Automated Reasoning},\n publisher =\t {Springer Netherlands},\n doi =\t\t {10.1007/s10817-018-09507-7},\n url_preprint = {http://doi.org/10.13140/RG.2.2.11432.83202},\n}\n\n","author_short":["Benzmüller, C.","Scott, D. S."],"key":"J40","id":"J40","bibbaseid":"benzmller-scott-automatingfreelogicinholwithanexperimentalapplicationincategorytheory-2020","role":"author","urls":{" preprint":"http://doi.org/10.13140/RG.2.2.11432.83202"},"keyword":["own","Automated Reasoning","Free Logic","Higher Order Logic","Category Theory"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","free logic","higher order logic","category theory"],"search_terms":["automating","free","logic","hol","experimental","application","category","theory","benzmüller","scott"],"title":"Automating Free Logic in HOL, with an Experimental Application in Category Theory","year":2020,"downloads":1}