A short proof of a cross-intersection theorem of Hilton.

Published in: Discret. Math. (2009)

Keyphrases

interactive theorem proving
linear logic
theorem prover
automated theorem proving
artificial intelligence
information systems
website
bayesian networks
special case
theorem proving
von neumann
natural deduction
digital topology