Articoli correlati a Labelled Deduction: 17
Sinossi
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Luca Viganò is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 41,50
EUR 51,80 per la spedizione da Regno Unito a U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Labelled Deduction: 17
Foto dell'editore
Labelled Deduction (Applied Logic)
Da: New Book Sale, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Codice articolo 0792362373--26
Quantità: 1 disponibili
Foto dell'editore
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190183623
Quantità: Più di 20 disponibili
Foto dell'editore
Labelled Deduction (Hardcover)
Editore:
Kluwer Academic Publishers, Dordrecht, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
Nuovo
Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterized proofs of metatheoretic properties, and ease of mechanizability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic "state oriented" properties such as knowledge, belief, time, space, and resources. Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780792362371
Quantità: 1 disponibili
Foto dell'editore
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792362371_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Labelled Deduction
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 -Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources. 284 pp. Englisch. Codice articolo 9780792362371
Quantità: 2 disponibili
Immagini fornite dal venditore
Labelled Deduction
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Codice articolo 5969264
Quantità: Più di 20 disponibili
Foto dell'editore
Labelled Deduction
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Discuses about Labelled deduction which is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576. . 2000. annotated ed. Hardback. . . . . Codice articolo V9780792362371
Quantità: 15 disponibili
Foto dell'editore
Labelled Deduction
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 284. Codice articolo 263058101
Quantità: 4 disponibili
Foto dell'editore
Labelled Deduction
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 C9780792362371
Quantità: Più di 20 disponibili
Foto dell'editore
Labelled Deduction
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 284 Illus. Codice articolo 5838442
Quantità: 4 disponibili