Inicio > Humanidades > Filosofía > Filosofía: lógica > Dual Tableaux
Dual Tableaux

Dual Tableaux

Ewa Orlowska / Joanna Golińska Pilarek

205,16 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2010
Materia
Filosofía: lógica
ISBN:
9789400700048

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

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.

Artículos relacionados

  • Argument, Sex and Logic
    Dov Gabbay / Gadi Rozenberg / Lydia Rivlin
    This book is intended for the formal argumentation community and for the sex offender therapist community.Both communities use logic.The message of this book is that the argumentation logic models are applicable for modelling and improving the practices of the sex offender therapist community and in parallel stimulate new logic models of argumentationDov Gabbay is a Professor a...
    Disponible

    30,70 €

  • Experience and the Ultimate Structure of Reality on Husserl’s Pursuit of Truth
    Claire Hill / Claire Ortiz Hill
    Experience and the Ultimate Structure of Reality, Husserl’s Pursuit of Truth follows the evolution of Edmund Husserl’s thought through those crucial years at the end of the nineteenth century and the beginning of the twentieth century when reason compelled the young doctor of mathematics to forsake empirical psychology and to strive to find the theories respecting the central t...
    Disponible

    24,14 €

  • Memorabilia (Royal Collector’s Edition) (Case Laminate Hardcover with Jacket)
    Henry Graham Dakyns / Xenophon
    The lengthiest and most famous of Xenophon’s Socratic writings, the Memorabilia is a defense of Socrates, offering edifying examples of Socrates’ conversations and activities. Xenophon argues that Socrates was innocent of the formal charges against him: failure to recognize the gods of Athens, introduction of new gods, and corruption of youth. He demonstrates through recounted ...
  • Logic
    Bernard Bosanquet
    ...
    Disponible

    62,25 €

  • Logic
    Bernard Bosanquet
    ...
    Disponible

    48,20 €

  • Logic and Information
    Edwin Mares
    ...
    Disponible

    27,45 €

Otros libros del autor

  • Dual Tableaux
    Ewa Orlowska / Joanna Golińska Pilarek
    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-bas...
    Disponible

    206,51 €