Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics - Couverture rigide
Synopsis
Book by Wallen Lincoln A
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Automated Proof Search in Non-Classical Logics: Efficient...
Image d'archives
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics
Edité par
The MIT Press, Cambridge MA, 1990
ISBN 10 : 0262231441
ISBN 13 : 9780262231442
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Row By Row Bookshop, Sugar Grove, NC, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Etat de la jaquette : No Dust Jacket. First Edition. An ex-library copy in original tan cloth lettered in gold. The usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket. Book. N° de réf. du vendeur 063561
Acheter D'occasion
EUR 31,25
Expédition à EUR 4,33
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Edité par
Mit Pr, 1990
ISBN 10 : 0262231441
ISBN 13 : 9780262231442
Ancien ou d'occasion
Couverture souple
Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-Bas
Évaluation du vendeur 4 sur 5 étoiles
Etat : very good. Cambridge, Mass. : MIT Press, 1990. Hardcover. Dustjacket. 239 pp. Library stamp. 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. Condition : very good copy. ISBN 9780262231442. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) Logic (Symbolic and mathematical) Logic programming. N° de réf. du vendeur 304118
Acheter D'occasion
EUR 15,95
Expédition à EUR 30
Expédition depuis Pays-Bas vers Etats-Unis
Expédition depuis Pays-Bas vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I)
Edité par
MIT Press 01.02.1990., 1990
ISBN 10 : 0262231441
ISBN 13 : 9780262231442
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 239 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 17,8 x 2,3 cm, Gebundene Ausgabe. N° de réf. du vendeur 388373
Acheter D'occasion
EUR 33,90
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Edité par
Mit Pr, 1990
ISBN 10 : 0262231441
ISBN 13 : 9780262231442
Ancien ou d'occasion
Couverture souple
Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-Bas
Évaluation du vendeur 4 sur 5 étoiles
Etat : as new. Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. - 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. Condition : as new copy. ISBN 9780262231442. Keywords : PHILOSOPHY, N° de réf. du vendeur 286465
Acheter D'occasion
EUR 44,95
Expédition à EUR 30
Expédition depuis Pays-Bas vers Etats-Unis
Expédition depuis Pays-Bas vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I)
Edité par
Mit Pr, 1990
ISBN 10 : 0262231441
ISBN 13 : 9780262231442
Ancien ou d'occasion
Couverture rigide
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Very Good condition. Very Good dust jacket. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. N° de réf. du vendeur X11F-01289
Acheter D'occasion
EUR 114,91
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)