Kloof Booksellers & Scientia Verlag

ISBN 9780262231442

Uitgever Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. Conditie: als nieuw

Taal Maak uw keuze

Categorie -

Meer info Conditie: als nieuw. PHILOSOPHY

Extra informatie - 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. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions.