Dual Tableaux: Foundations, Methodology, Case Studies

Name: Dual Tableaux: Foundations, Methodology, Case Studies
Brand: Springer
SKU: 9789400700048
Price: 149.54 EUR
Availability: InStock

Autor: Ewa Orlowska, Joanna Golinska-Pilarek

Jazyk:

Väzba: Pevná

Vydavateľ: Springer

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

149.54 €

This book presents logical foundations of dual tableaux together with a number of their applications...

Informácie o knihe

Autor

Ewa Orlowska, Joanna Golinska-Pilarek

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2010

Stránok

523

EAN

9789400700048

ISBN

9400700040

Enbook ID

01978447

Vydavateľ

Springer

Hmotnosť

2050

Rozmery

155 x 235 x 33

Kompletný popis

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Dual Tableaux: Foundations, Methodology, Case Studies

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež