Formalization of Forcing in Isabelle/ZF.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf

Published in: IJCAR (2) (2020)

Keyphrases

theorem prover
formal model
knowledge representation
operational semantics
natural deduction
logical language
trade off
control system
special case
domain knowledge
semi supervised
inference rules
logical framework