Non-classical Metatheory for Non-classical Logics.

Published in: J. Philos. Log. (2013)

Keyphrases

theorem proving
classical logic
neural network
data sets
data mining
machine learning
artificial intelligence
knowledge base
cooperative
support vector
computer science
expert systems
management system
classical methods