Formalization of Forcing in Isabelle/ZF.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf

Published in: Arch. Formal Proofs (2020)

Keyphrases

theorem prover
knowledge representation
formal model
expert systems
logical language
trade off
natural deduction
artificial intelligence
web pages
web services
high level
natural language
medical expert system