| Articolul precedent |
| Articolul urmator |
 |
 626 2 |
| Ultima descărcare din IBN: 2023-06-20 01:15 |
 SM ISO690:2012LYALETSKI, Alexander, LYALETSKY, Alexandre. On linear formats of resolution and paramodulation over ordered clauses. In: Conference on Mathematical Foundations of Informatics, Ed. 2016, 25-30 iulie 2016, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2016, pp. 251-261. ISBN 978‐9975‐4237‐4‐8. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Conference on Mathematical Foundations of Informatics 2016 | ||||||
|
Conferința "Conference on Mathematical Foundations of Informatics" 2016, Chișinău, Moldova, 25-30 iulie 2016 | ||||||
|
||||||
| Pag. 251-261 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
Classical first-order logic without and with equality is considered. Certain linear strategies for resolution-type methods over ordered clauses are given. For logic without equality, their soundness and completeness are based on the soundness and completeness of a certain, so-called literal tree calculus. For logic with equality, the strategies admit sound and complete paramodulation extensions when using functional reexivity axioms. |
||||||
| Cuvinte-cheie Classical _rst-order logic, clause, paramodulation, linear format, soundness, unsatis_ability, résolution, factorization, strategy, completeness |
||||||
|
|
|
|
