Zobacz książki o podobnej tematyce

Więcej informacji o Goal-Directed Proof Theory

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 345 punkty

Opis

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. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.

Szczegóły książki

Kategoria Knihy po anglicky Humanities Philosophy Philosophy: logic

• Pełny tytuł: Goal-Directed Proof Theory
• Autor: Dov M. Gabbay, N. Olivetti
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 268
• EAN: 9789048155262
• ISBN: 9048155266
• ID: 01974140
• Wydawca: Springer
• Waga: 438 g
• Wymiary: 235 × 155 × 16 mm
• Data wydania: 03. December 2010

Ulubione w innej kategorii

---

---

---