Goal-Directed Proof Theory
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective…
Mehr
CHF 192.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Olivetti, N.
- ISBN: 978-90-481-5526-2
- EAN: 9789048155262
- Produktnummer: 10317646
- Verlag: Springer Netherlands
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 284 S.
- Masse: H23.5 cm x B15.5 cm x D1.5 cm 435 g
- Auflage: Softcover reprint of the original 1st ed. 2000
- Abbildungen: Paperback
- Gewicht: 435
100 weitere Werke von Dov M. Gabbay:
Bewertungen
Anmelden