Proofs and Countermodels in Non-Classical Logics.

Published in: Logica Universalis (2014)

Keyphrases

theorem proving
automated theorem proving
theorem prover
formal proof
classical logic
data sets
first order logic
machine learning
answer set programming
formal proofs
equational theories
expert systems
inference rules
computational complexity
pattern recognition
social networks
database
mathematical proofs