Wallen, Lincoln A. - Automated proof search in non-classical lo
| Schrijver: | Wallen, Lincoln A. |
|---|---|
| Titel: | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics. |
| ISBN: | 9780262231442 |
| Uitgever: | Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. Conditie: als nieuw |
| Bijzonderheden: | Conditie: als nieuw. PHILOSOPHY |
| Prijs: | € 40,00 |
| Verzendkosten: | € 5,50 (binnen Nederland) |
| 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.
|
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.
Het huisnummer is ook opgegeven in het straat veld. Gelieve controleren of de velden straat en huisnummer correct zijn opgegeven.
Straat:
Nummer:
- 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
Dit boekwinkeltje is een zakelijke verkoper. Hierdoor heeft u o.a. herroepingsrecht waarmee u het boek binnen 14 dagen na ontvangst retour kunt sturen. Verder lezen. - Identiteit verkoper:
Antiquariaat de Kloof
Kamer van Koophandel nummer: 33017762
NL001315707B82
http://www.kloof.nl - 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.
Onthoud mijn gegevens
Registreer u vrijblijvend als koper!
Besteld, hoe nu verder?
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen. Afhankelijk van uw locatie heeft u in de meeste gevallen binnen 2 dagen uw bestelling in huis.