A Consistent Foundation for Isabelle/HOL.

Ondrej Kuncar Andrei Popescu

Published in: ITP (2015)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
higher order logic
formal methods
first order logic
data sets
information systems
user interface
cut elimination
information retrieval
learning algorithm
multi agent systems
expert systems