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

Lincoln A. Wallen

Published by The MIT Press, 1989
ISBN 10: 0262231441 / ISBN 13: 9780262231442
Used / Hardcover / Quantity Available: 0
From Books Express (Kittery, ME, U.S.A.)
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Bookseller Inventory # 0262231441

About this title:

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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Automated Deduction in Nonclassical Logics: ...
Publisher: The MIT Press
Publication Date: 1989
Binding: Hardcover
Book Condition: Good

Top Search Results from the AbeBooks Marketplace

1.

Wallen, Lincoln A.
Published by The MIT Press (1989)
ISBN 10: 0262231441 ISBN 13: 9780262231442
Used Quantity Available: 1
Seller:
Better World Books
(Mishawaka, IN, U.S.A.)

Book Description The MIT Press, 1989. Condition: Very Good. Great condition for a used book! Minimal wear. Seller Inventory # GRP73890867

More information about this seller | Contact this seller

Buy Used
US$ 4.52
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

2.

Wallen, Lincoln A.
Published by The MIT Press (1989)
ISBN 10: 0262231441 ISBN 13: 9780262231442
Used Hardcover Quantity Available: 1
Seller:
Book Deals
(Lewiston, NY, U.S.A.)

Book Description The MIT Press, 1989. Hardcover. Condition: VERY GOOD. Pages are intact and are not marred by notes or highlighting, but may contain a neat previous owner name. The spine remains undamaged. Supplemental materials are not guaranteed with any used book purchases. Seller Inventory # 0262231441_abe_vg

More information about this seller | Contact this seller

Buy Used
US$ 11.16
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

Wallen, Lincoln A.
Published by The MIT Press (1989)
ISBN 10: 0262231441 ISBN 13: 9780262231442
Used Hardcover Quantity Available: 1
Seller:
Book Deals
(Lewiston, NY, U.S.A.)

Book Description The MIT Press, 1989. Hardcover. Condition: GOOD. Has little wear to the cover and pages. Contains some markings such as highlighting and writing. Supplemental materials are not guaranteed with any used book purchases. Seller Inventory # 0262231441_abe_gd

More information about this seller | Contact this seller

Buy Used
US$ 12.05
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

4.

Wallen, Lincoln A.
Published by The MIT Press (1989)
ISBN 10: 0262231441 ISBN 13: 9780262231442
Used Hardcover Quantity Available: 1
Seller:
GlassFrogBooks
(Hawthorne, CA, U.S.A.)

Book Description The MIT Press, 1989. Condition: Good. A+ Customer service! Satisfaction Guaranteed! Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. Seller Inventory # 0262231441-2-4

More information about this seller | Contact this seller

Buy Used
US$ 12.07
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

5.

Lincoln A. Wallen
Published by The MIT Press (1990)
ISBN 10: 0262231441 ISBN 13: 9780262231442
Used Quantity Available: 1
Seller:
Zubal-Books
(Cleveland, OH, U.S.A.)

Book Description The MIT Press, 1990. Condition: Very Good. 239 pp., hardcover, previous owner's name to front free endpaper, several page corners bent, VERY minor marginalia and underlining to a few pages in chapter 1 else very good in a good dust jacket. Seller Inventory # ZB1136717

More information about this seller | Contact this seller

Buy Used
US$ 8.59
Convert currency

Add to Basket

Shipping: US$ 3.50
Within U.S.A.
Destination, rates & speeds

6.

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

Book Description The MIT Press, 1989. Hardcover. Condition: Good. Seller Inventory # SONG0262231441

More information about this seller | Contact this seller

Buy Used
US$ 17.84
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

7.

Wallen, Lincoln A.:
Published by MIT Press, 01.02.1990. (1990)
ISBN 10: 0262231441 ISBN 13: 9780262231442
Used Hardcover Quantity Available: 1
Seller:
Mosakowski GbR
(Florstadt, Germany)

Book Description MIT Press, 01.02.1990., 1990. Condition: Gut. 239 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 630 23,1 x 17,8 x 2,3 cm, Gebundene Ausgabe. Seller Inventory # 388373

More information about this seller | Contact this seller

Buy Used
US$ 25.32
Convert currency

Add to Basket

Shipping: US$ 10.91
From Germany to U.S.A.
Destination, rates & speeds

8.

Wallen, Lincoln A.
Published by The MIT Press
ISBN 10: 0262231441 ISBN 13: 9780262231442
New Quantity Available: 1
Seller:
RushLtd
(Denver, CO, U.S.A.)

Book Description The MIT Press. Condition: new. Seller Inventory # think0262231441

More information about this seller | Contact this seller

Buy New
US$ 88.31
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

9.

Wallen, Lincoln A.
Published by The MIT Press (1989)
ISBN 10: 0262231441 ISBN 13: 9780262231442
New Hardcover Quantity Available: 3
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)

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$ 91.31
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

10.

ISBN 10: 0262231441 ISBN 13: 9780262231442
New Quantity Available: 1
Seller:
BennettBooksLtd
(San Diego, CA, U.S.A.)

Book Description Condition: New. New. Seller Inventory # S-0262231441

More information about this seller | Contact this seller

Buy New
US$ 113.57
Convert currency

Add to Basket

Shipping: US$ 4.95
Within U.S.A.
Destination, rates & speeds

There are 1 more copies of this book

View all search results for this book