A carregar...
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates
Modern logic engines widely fail to decide axiom sets that are satisfiable only in an infinite domain. This paper specifies an algorithm that automatically generates a database of independent infinity axiom sets with fewer than 1000 characters. It starts with complete theories of pure first-order lo...
Na minha lista:
| Publicado no: | Automated Reasoning |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324131/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51074-9_12 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|