Hypersequent Calculus for Intuitionistic Logic with Classical Atoms.

Hidenori Kurokawa

Published in: LFCS (2007)

Keyphrases

intuitionistic logic
natural deduction
classical logic
proof theoretic
linear logic
cut elimination
sequent calculus
logic programs
inference rules
theorem prover
database
sufficient conditions
logic programming
theorem proving