A Sequent Calculus for Urn Logic.

Published in: J. Log. Lang. Inf. (2015)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
linear time temporal logic
wide class
classical logic
proof search
sufficient conditions
theorem prover
temporal logic
first order logic
theorem proving
nonmonotonic logics
fixed point
logic programming
data points