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

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Scott, Dana S.Dana S.Scott2022-09-162022-09-1620201573-06700168-7433https://fis.uni-bamberg.de/handle/uniba/55577engAutomating Free Logic in HOL, with an Experimental Application in Category Theoryarticle10.1007/s10817-018-09507-7https://link.springer.com/article/10.1007/s10817-018-09507-7