14.0%OFF
Download App
| >> | LShop | >> | Book | >> | Computing & Informat... | >> | Computer Hardware | >> | Automated Deduction ... |
14.0%OFF
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
-
ISBN
:
9780262231442
-
Publisher
:
The MIT Press
-
Subject
:
Computer Hardware, Computer Science, Mathematics
-
Binding
:
HARDCOVER
-
Pages
:
255
-
Year
:
1989
₹
3839.0
14.0% OFF
₹
3301.0
3301.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View DetailsEstimated Shipping Time : 5-7 Business Days
View Details
-
Description
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.
Related Items
-
of
-
OFFER
Automated Model Building (Applied Logic Series)
Ricardo Caferra
Starts At
18014.0
18765.0
4% OFF
-
OFFER
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Lawrence C. Paulson
Starts At
7277.0
9576.0
24% OFF
-
OFFER
Logic and Information Flow (Foundations of Computing)
Jan van van Eijck
Starts At
3667.0
4265.0
14% OFF
-
OFFER
From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
Jean van Heijenoort
Starts At
2876.0
4052.0
29% OFF
-
OFFER
New Computational Paradigms: Changing Conceptions of What is Computable
S.B. Cooper
Starts At
17933.0
18681.0
4% OFF
-
OFFER
A Course on Mathematical Logic (Universitext)
Shashi Mohan Srivastava
Starts At
3303.0
3841.0
14% OFF
-
OFFER
Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences)
Tom Tymoczko
Starts At
3222.0
3747.0
14% OFF
-
OFFER
Stat Labs: Mathematical Statistics Through Applications
Deborah Nolan
Starts At
6550.0
6823.0
4% OFF
-
OFFER
Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003 (NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207)
M. Goldstein
Starts At
14738.0
15353.0
4% OFF
