Login / Signup
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.
David Fuenmayor
Christoph Benzmüller
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
theorem prover
natural deduction
theorem proving
inference rules
higher order logic
first order logic
evaluation method
data sets
linear logic
cut elimination
set intersection
neural network
machine learning
knowledge representation
logic programming
gold standard