Parallel Verification of Natural Deduction Proof Graphs.
James T. OswaldBrandon RozekPublished in: CoRR (2023)
Keyphrases
- natural deduction
- theorem prover
- linear time temporal logic
- inference rules
- cut elimination
- theorem proving
- sequent calculus
- graph matching
- intuitionistic logic
- directed graph
- linear logic
- formal proof
- first order logic
- parallel implementation
- parallel processing
- expert systems
- graph structure
- formal verification
- model checking
- probability distribution
- knowledge base
- training data
- automated reasoning
- shared memory
- graph theory