Dual Tableaux: Foundations, Methodology, Case Studies

Dual Tableaux: Foundations, Methodology, Case Studies

The 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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Orlowska, Ewa (Συγγραφέας), Golińska Pilarek, Joanna (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Σειρά:Trends in Logic, 33
Θέματα:
Mathematics.
Logic.
Mathematical logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 1. Dual Tableau for Classical First-Order Logic
  • 2. Dual Tableaux for Logics of Classical Algebras of Binary
  • 3. Theories of Point Relations and Relational Model Checking
  • 4. Dual Tableaux for Peirce Algebras
  • 5. Dual Tableaux for Fork Algebras
  • 6. Dual Tableaux for Relational Databases
  • Part III. Relational Reasoning in Traditional Non-classical Logics
  • 7. Dual Tableaux for Classical Modal Logics
  • 8. Dual Tableaux for Some Logics Based on Intuitionism
  • 9. Dual Tableaux for Relevant Logics
  • 10. Dual Tableaux for Many-valued Logics
  • Part IV. Relational Reasoning in Logics of Information and Data
  • Analysis
  • 11. Dual Tableaux for Information Logics of Plain Frames
  • 12. Dual Tableaux for Information Logics of Relative Frames
  • 13. Dual Tableau for Formal Concept Analysis
  • 14. Dual Tableau for a Fuzzy Logic
  • 15. Dual Tableaux for Logics of Order of Magnitude Reasoning
  • Part V. Relational Reasoning about Time, Space, and Action
  • 16. Dual Tableaux for Temporal Logics
  • 17. Dual Tableaux for Interval Temporal Logics
  • 18. Dual Tableaux for Spatial Reasoning
  • 19. Dual Tableaux for Logics of Programs
  • Part VI. Beyond Relational Theories
  • 20. Dual Tableaux for Threshold Logics
  • 21. Signed Dual Tableau for G¨odel-Dummett Logic
  • 22. Dual Tableaux for First-Order Post Logics
  • 23. Dual Tableau for Propositional Logic with Identity
  • 24. Dual Tableaux for Logics of Conditional Decisions
  • 25. Methodological Principles of Dual Tableaux
  • References
  • Index.

Παρόμοια τεκμήρια