A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications.

Camillo Fiorentini Pierangelo Miglioli

Published in: Log. J. IGPL (1999)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
linear time temporal logic
proof search
logic programming
logical framework
wide class
classical logic
theorem prover
bayesian networks
fixed point
nonmonotonic logics