A Proof of the Characterization Theorem for Consequence Relations.

Published in: Math. Log. Q. (1991)

Keyphrases

interactive theorem proving
artificial intelligence
theorem prover
theorem proving
automated theorem proving
proof planning
multimedia
expert systems
von neumann
linear logic
natural deduction
digital topology
mathematical proofs