Loading...
A Combinator-Based Superposition Calculus for Higher-Order Logic
We present a refutationally complete superposition calculus for a version of higher-order logic based on the combinatory calculus. We also introduce a novel method of dealing with extensionality. The calculus was implemented in the Vampire theorem prover and we test its performance against other lea...
Na minha lista:
| Udgivet i: | Automated Reasoning |
|---|---|
| Main Authors: | , |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
2020
|
| Fag: | |
| Online adgang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324226/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51074-9_16 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|