Items related to Labelled Deduction: 17 (Applied Logic Series, 17)
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.
- PublisherSpringer
- Publication date2000
- ISBN 10 0792362373
- ISBN 13 9780792362371
- BindingHardcover
- LanguageEnglish
- Number of pages278
- EditorBasin David, D'Agostino M., Gabbay Dov M., Matthews Seán, Viganò Luca
Search results for Labelled Deduction: 17 (Applied Logic Series, 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
Quantity: 1 available
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
Quantity: Over 20 available
Seller Image
Labelled Deduction
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Seller Inventory # 5969264
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
Quantity: 2 available
Seller Image
Labelled Deduction
Published by
Springer Netherlands, Springer Netherlands, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780792362371
Quantity: 1 available
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
Quantity: Over 20 available
Seller Image
Labelled Deduction
Published by
Springer Netherlands, Springer Netherlands Apr 2000, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
New
Buch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch. Seller Inventory # 9780792362371
Quantity: 2 available
Stock Image
Labelled Deduction
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 284 Illus. Seller Inventory # 5838442
Quantity: 4 available
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
Quantity: 4 available
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
Quantity: Over 20 available