Opening book details…
Can I read Automated Proof Search in Non-classical Logics : Efficient Matrix Proof Methods for Modal and Intuitionistic Logics on EtoBox?
Automated Proof Search in Non-classical Logics : Efficient Matrix Proof Methods for Modal and Intuitionistic Logics by Wallen, Lincoln A. is a nonfiction available to read on EtoBox.
What is Automated Proof Search in Non-classical Logics : Efficient Matrix Proof Methods for Modal and Intuitionistic Logics 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., 239 pages : 24 cm, Includes bibliographical references ([228]-234), Includes indexes
Who reads Automated Proof Search in Non-classical Logics : Efficient Matrix Proof Methods for Modal and Intuitionistic Logics?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Wallen, Lincoln A.
- Publisher
- Cambridge, Mass. : MIT Press
- Published
- 1990
- Language
- EN
- ISBN
- 9780262231442
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Stem
Other editions & translations
- Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis] (1990)
- Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence) (1990)
- Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis] (1989)
More by Wallen, Lincoln A.
Browse all works by Wallen, Lincoln A.
Similar books
- Proof Methods for Modal and Intuitionistic Logics || — Melvin Fitting (auth.) (1983)
- The Proof Theory and Semantics of Intuitionistic Modal Logic [PhD Thesis] — Alex K. Simpson (1994)
- Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) — Ricardo Caferra; Gernot Salzer (2000)
- Proof Theory for Fuzzy Logics (Applied Logic Series (36)) — George Metcalfe, Nicola Olivetti, Dov M. Gabbay (2008)
- A Proof Theory for Description Logics — Alexandre Rademaker (2012)
- Arnon Avron on Semantics and Proof Theory of Non-Classical Logics — Anna Zamansky Ofer Arieli (2021)