Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Labelled Deduction (APPLIED LOGIC SERIES Volume 17)...
Stock Image
Labelled Deduction (Applied Logic)
Published by
Kluwer Academic Publishers, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
New
Hardcover
Seller: New Book Sale, London, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Seller Inventory # 0792362373--26
Buy New
US$ 47.49
Shipping:
US$ 65.86
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780792362371
Stock Image
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190183623
Stock Image
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792362371_new
Buy New
US$ 132.45
Shipping:
US$ 15.78
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Labelled Deduction
Published by
Springer Netherlands Apr 2000, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
New
Buch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9780792362371
Stock Image
Labelled Deduction
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 284. Seller Inventory # 263058101
Seller Image
Labelled Deduction
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Seller Inventory # 5969264
Buy New
US$ 109.84
Shipping:
US$ 56.62
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Labelled Deduction
Published by
Kluwer Academic Publishers, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
New
Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: 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. . . . . Seller Inventory # V9780792362371
Stock Image
Labelled Deduction
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 606. Seller Inventory # C9780792362371
Buy New
US$ 155.58
Shipping:
US$ 22.14
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Labelled Deduction
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 284 Illus. Seller Inventory # 5838442
Buy New
US$ 172.29
Shipping:
US$ 8.56
From United Kingdom to U.S.A.
Quantity: 4 available