Canonical Inference for Implicational Systems
From MaRDI portal
Publication:3541718
DOI10.1007/978-3-540-71070-7_33zbMath1165.03309OpenAlexW1593536380MaRDI QIDQ3541718
Nachum Dershowitz, Maria Paola Bonacina
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_33
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Towards a foundation of completion procedures as semidecision procedures
- Computing with rewrite systems
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Existence, Uniqueness, and Construction of Rewrite Systems
- On rewrite programs: Semantics and relationship with prolog
- Equational inference, canonical proofs, and proof orderings
- Exact knowledge compilation in predicate calculus: The partial achievement case
- Abstract canonical inference
- On sentences which are true of direct unions of algebras
- The decision problem for some classes of sentences without quantifiers