Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on a novel approach to reasoning within first-order logic, the book introduces a superposition calculus that explicitly represents existentially quantified variables without resorting to Skolemization. By utilizing additional constraints for clause annotation, it maintains soundness and refutational completeness for fixed domain semantics. The author, Matthias Horbach, explores the implications of this calculus for proving universal properties and minimal model validity, offering new decision procedures for specific classes of theories, enhancing the understanding of Herbrand models.
Achat du livre
Superposition-based Decision Procedures for Minimal Models, Matthias Horbach
- Langue
- Année de publication
- 2011
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .