How to Universally Close the Existential Rule
From MaRDI portal
Publication:4933304
DOI10.1007/978-3-642-16242-8_13zbMath1307.03009OpenAlexW1544231002MaRDI QIDQ4933304
Publication date: 12 October 2010
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_13
Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Basic properties of first-order languages and structures (03C07)
Related Items