Sinossi
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective.
Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1. Introduction. 2. Intuitionistic and Classical Logics. 3. Intermediate Logics. 4. Modal Logics of Strict Implication. 5. Substructural Logics. 6. Conclusions and Further Work. Bibliography. Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Goal-Directed Proof Theory: 21
Foto dell'editore
Goal-Directed Proof Theory (Volume 21)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. Volume 21. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9780792364733. Codice articolo 3382398
Compra usato
EUR 72,48
Spese di spedizione:
EUR 15,36
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190183786
Compra nuovo
EUR 103,01
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Goal-Directed Proof Theory
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 756621-n
Compra nuovo
EUR 104,20
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Goal-Directed Proof Theory
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 756621
Compra usato
EUR 122,23
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Goal-Directed Proof Theory (Applied Logic Series Volume 21) (Applied Logic Series, 21)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792364733_new
Compra nuovo
EUR 111,36
Spese di spedizione:
EUR 13,73
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Goal-Directed Proof Theory
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 756621-n
Compra nuovo
EUR 111,35
Spese di spedizione:
EUR 17,20
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Goal-Directed Proof Theory
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory. 284 pp. Englisch. Codice articolo 9780792364733
Compra nuovo
EUR 106,99
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Goal-Directed Proof Theory
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed pro. Codice articolo 5969455
Compra nuovo
EUR 92,27
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Goal-Directed Proof Theory
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 756621
Compra usato
EUR 127,24
Spese di spedizione:
EUR 17,20
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Goal-Directed Proof Theory
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 606. Codice articolo C9780792364733
Compra nuovo
EUR 135,41
Spese di spedizione:
EUR 19,27
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili