Items related to Automated Deduction in Nonclassical Logics –...
Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I) - Hardcover
Synopsis
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.
Lincoln A. Wallen is a B.P. Venture Research Fellow at the University of Texas at Austin Automated Deduction in Nonclassical Logics is included in the Artificial Intelligence series, edited by Patrick Winston Michael Brady, and Daniel Bobrow.
"synopsis" may belong to another edition of this title.
Search results for Automated Deduction in Nonclassical Logics –...
Stock Image
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics
Published by
The MIT Press, Cambridge MA, 1990
ISBN 10: 0262231441
ISBN 13: 9780262231442
Used
Hardcover
First Edition
Seller: Row By Row Bookshop, Sugar Grove, NC, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. First Edition. An ex-library copy in original tan cloth lettered in gold. The usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket. Book. Seller Inventory # 063561
Seller Image
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: very good. Cambridge, Mass. : MIT Press, 1990. Hardcover. Dustjacket. 239 pp. Library stamp. 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. Condition : very good copy. ISBN 9780262231442. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) Logic (Symbolic and mathematical) Logic programming. Seller Inventory # 304118
Buy Used
£ 14.57
£ 25.03 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available
Seller Image
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: as new. Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. - 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. Condition : as new copy. ISBN 9780262231442. Keywords : PHILOSOPHY, Seller Inventory # 286465
Buy Used
£ 38.64
£ 25.03 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available