Formalization of Forcing in Isabelle/ZF.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf

Published in: CoRR (2020)

Keyphrases

theorem prover
knowledge representation
formal model
natural deduction
operational semantics
pattern recognition
trade off
case based reasoning
special case
logical language
theorem proving
machine learning
query processing
learning environment
high level
knowledge base
information systems
artificial intelligence