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

Christoph Benzmüller Dana S. Scott

Published in: J. Autom. Reason. (2020)

Keyphrases

formal theory
databases
real time
bayesian networks
application specific
formal methods
higher order logic
social networks
decision support
theoretical framework
theorem prover
belief functions
automated reasoning