Opening book details…
Can I read Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence) on EtoBox?
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence) by Wallen, Lincoln A. is a computer science book available to read on EtoBox.
What is Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence) about?
This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence.<br><br><b>Contents:</b> Introduction I. Automated Deducti
Who reads Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Wallen, Lincoln A.
- Publisher
- The MIT Press
- Published
- 1990
- Language
- EN
- ISBN
- 9780262231442
- Category
- computer science
- Subjects
- Mathematics, Computer Science, Intelligence (Ai) & Semantics
- Updated
- 2026-03-25
Other editions & translations
- Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis] (1990)
- Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis] (1989)
- Automated Proof Search in Non-classical Logics : Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (1990)
More by Wallen, Lincoln A.
Browse all works by Wallen, Lincoln A.
Similar books
- Leo Esakia on Duality in Modal and Intuitionistic Logics (Outstanding Contributions to Logic, 4) — Guram Bezhanishvili (2014)
- Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence) — Deepak Kapur (auth.), Dongming Wang (1997)
- Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) — Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (2000)
- Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper] — D. M Gabbay (1996)
- Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings ... / Lecture Notes in Artificial Intelligence) — V. Michele Abrusci (auth.), Marta Cialdea Mayer, Fiora Pirri (2003)
- Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 10) — Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (1998)