Dual Tableaux: Foundations, Methodology, Case Studies

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

Autor: Ewa Orlowska, Joanna Golinska-Pilarek

Limbă:

Legare: Copertă tare

Editura: Springer

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

827.88 lei

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

Informații despre carte

Autor

Ewa Orlowska, Joanna Golinska-Pilarek

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2010

Pagini

523

EAN

9789400700048

ISBN

9400700040

Enbook ID

01978447

Editura

Springer

Greutate

2050

Dimensiuni

155 x 235 x 33

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Dual Tableaux: Foundations, Methodology, Case Studies

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și