Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33) - Image 1

Price loading...

Springer Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Name: Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)
Brand: Springer

Computer Science

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 9400700040
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 30 November 2010
Listed Since: 11 August 2010

Barcode

No barcode data available

Springer Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic for Applications (Texts in Computer Science)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Mathematical Logic for Computer Science

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Conditionals and Modularity in General Logics (Cognitive Technologies)

Handbook of Tableau Methods

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Algebraic Foundations of Many-Valued Reasoning: 7 (Trends in Logic, 7)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Handbook of Philosophical Logic: Volume 14

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)