In this work we mainly emphasize two, somehow orthogonal, aspects of completeness for first-order calculi. Firstly, from the syntactic point of view, our aim is to single out minimal, albeit sufficient, requirements on the underlying language to ensure general completeness results. Secondly, concerning the semantic aspects of automated reasoning, we are interested in generalizing standard completeness arguments to the case of theory-reasoning.
On the Completeness of Theory-Based Variants of Resolution
FORMISANO, Andrea
1999
Abstract
In this work we mainly emphasize two, somehow orthogonal, aspects of completeness for first-order calculi. Firstly, from the syntactic point of view, our aim is to single out minimal, albeit sufficient, requirements on the underlying language to ensure general completeness results. Secondly, concerning the semantic aspects of automated reasoning, we are interested in generalizing standard completeness arguments to the case of theory-reasoning.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
