An Institution-independent Proof of the Beth Definability Theorem.

Marc Aiguier Fabrice Barbier

Published in: Stud Logica (2007)

Keyphrases

interactive theorem proving
fixed point
propositional logic
databases
website
multiscale
higher education
theorem prover
logical rules