Natural Deduction System in Paraconsistent Setting: proof search for PCont.

Alexander Bolotov Vasilyi Shangin

Published in: IICAI (2011)

Keyphrases

natural deduction
inference rules
proof search
theorem prover
cut elimination
sequent calculus
theorem proving
linear logic
intuitionistic logic
first order logic
modal logic
logical framework
logic programming
automated reasoning
linear time temporal logic
conditional probabilities
proof theoretic