Canonical proof nets for classical logic.

Richard McKinley

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

Keyphrases

classical logic
automated theorem proving
logic programming
modal logic
intuitionistic logic
revision operators

possibilistic logic
autoepistemic logic
valued logic
linear logic
theorem prover
default logic

possibility theory
computer science and artificial intelligence
sequent calculus
theorem proving
logic programs
programming language

incomplete information
fuzzy sets
knowledge representation
genetic algorithm
rationality postulates
data mining