Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)

0 avg rating
( 0 ratings by Goodreads )
 
9780262231442: Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
View all copies of this ISBN edition:
 
 

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.

Top Search Results from the AbeBooks Marketplace

1.

Wallen, Lincoln A.
Published by The MIT Press (1989)
ISBN 10: 0262231441 ISBN 13: 9780262231442
New Hardcover Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1989. Hardcover. Condition: New. Never used!. Seller Inventory # P110262231441

More information about this seller | Contact this seller

Buy New
US$ 81.48
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

2.

Lincoln A. Wallen
Published by The MIT Press (1989)
ISBN 10: 0262231441 ISBN 13: 9780262231442
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1989. Hardcover. Condition: New. Seller Inventory # DADAX0262231441

More information about this seller | Contact this seller

Buy New
US$ 105.59
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds