Non-deterministic Boolean Proof Nets.

Published in: FOPARA (2009)

Keyphrases

theorem proving
real valued
boolean functions
linear logic
machine learning
black box
information systems
website
boolean queries
neural network
case study
automated theorem proving
stochastic methods
complete axiomatization
geometry theorem proving