Theorem Prover for Intuitionistic Logic Based on the Inverse Method.

Vladimir Pavlov Vadim Pak

Published in: Program. Comput. Softw. (2018)

Keyphrases

theorem prover
high accuracy
cost function
neural network
objective function
preprocessing
pairwise
clustering method
detection method
support vector machine
feature selection
similarity measure
training data
segmentation method
inference rules
automated reasoning