How to Universally Close the Existential Rule
From MaRDI portal
Publication:4933304
DOI10.1007/978-3-642-16242-8_13zbMath1307.03009MaRDI 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
03B10: Classical first-order logic
03F05: Cut-elimination and normal-form theorems
03C07: Basic properties of first-order languages and structures
Related Items