Ceres in intuitionistic logic.

David M. Cerna Alexander Leitsch Giselle Reis Simon Wolfsteiner

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

Keyphrases

logic programs
intuitionistic logic
logic programming
classical logic
linear logic
natural deduction
proof theoretic
normal form
nonmonotonic reasoning
bayesian networks
proof theory
knowledge base
object oriented
sequent calculus
proof search