Soundness of the Q0 proof system for higher-order logic.

Anders Schlichtkrull

Published in: Arch. Formal Proofs (2023)

Keyphrases

higher order logic
higher order
conditional logic
modal logic
theorem prover
logical framework
inference rules
expert systems
machine learning
default reasoning
general purpose
programming language
temporal logic
theorem proving
default logic
video sequences
knowledge base