Dual Tableaux: Foundations, Methodology, Case Studies, Fachbücher von Ewa Orlowska, Joanna Golinska Pilarek

"Dual Tableaux: Foundations, Methodology, Case Studies" ist ein Fachbuch, das sich mit den logischen Grundlagen der dualen Tableaux beschäftigt und deren Anwendungen in verschiedenen logischen Systemen sowie in der angewandten rechnergestützten Logik untersucht. Es behandelt Themen wie modale Logik, intuitionistische Logik, relevante Logik und vielewertige Logik, und bietet Einblicke in deren praktische Anwendungen, darunter temporales und räumliches Denken sowie fuzzy- und rough-set-basierte Überlegungen. Ein zentrales Merkmal des Buches ist die Verwendung einer relationalen Sprache zur Darstellung der Theorien, was die Modularität der dualen Tableaux gewährleistet. Dies ermöglicht es, bestehende duale Tableaux zu erweitern, anstatt sie von Grund auf neu zu entwickeln, indem nur die spezifischen Regeln für jede Theorie hinzugefügt werden. Die umfassende Analyse und die Vielzahl an Fallstudien machen dieses Buch zu einer wertvollen Ressource für Studierende und Fachleute in den Bereichen Logik und Informatik.