Quotients revisited for Isabelle/HOL.

Cezary Kaliszyk Christian Urban

Published in: SAC (2011)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
first order logic
higher order logic
sequent calculus
cut elimination
association rules
modal logic
state space
linear logic