Mass problems and intuitionistic higher-order logic.

Sankha S. Basu Stephen G. Simpson

Published in: Comput. (2016)

Keyphrases

higher order logic
theorem prover
natural language
probability distribution
sufficient conditions
reasoning tasks