Titel
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Schrijver
Wallen, Lincoln A.
ISBN
9780262231442
Uitgever
Cambridge, Mass. : MIT Press, 1990. Hardcover. Dustjacket. 239 pp. Library stamp. Conditie: goed
Prijs
€ 14,00
Bijzonderheden
Conditie: goed. COMPUTER SCIENCE
Meer info
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.
- Alle boeken zijn compleet en verkeren in normale antiquarische staat, tenzij anders beschreven. Kleine onvolkomenheden, zoals een ingeplakte ex-libris of een naam op het schutblad, zijn niet altijd vermeld
- U handelt deze order direct af met Kloof Antiquariaat
- Na uw bestelling ontvangen u en Kloof Antiquariaat een bevestiging per e-mail. In de e-mail staan de naam, adres, woonplaats en telefoonnummer van Kloof Antiquariaat vermeld
- De Koper betaalt de verzendkosten, tenzij anders overeen gekomen
- Kloof Antiquariaat kan betaling vooraf vragen
- Boekwinkeltjes.nl probeert Kopers en Verkopers tot elkaar te brengen. Boekwinkeltjes.nl is echter nimmer partij bij een overeenkomst die gesloten wordt tussen Koper en Verkoper door gebruikmaking van de site. Als u een geschil hebt met één of meer gebruikers, dient u dit zelf op te lossen. U vrijwaart Boekwinkeltjes.nl van enigerlei vorderingen, aanspraken op schadevergoeding en dergelijke, verband houdende met dergelijke geschillen.