Proof internalization in generalized Frege systems for classical logic.

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

classical logic
artificial intelligence
general purpose
automated theorem proving
neural network
data mining
genetic algorithm
database systems
fuzzy sets
logic programming