Items related to Labelled Deduction (Applied Logic Series)
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 date2012
- ISBN 10 9401057818
- ISBN 13 9789401057813
- BindingPaperback
- LanguageEnglish
- Number of pages278
- EditorBasin David, D'Agostino M., Gabbay Dov M., Matthews Seán, Viganò Luca
Buy New
View this item
US$ 62.58
Shipping:
US$ 26.13
From Germany to U.S.A.
Search results for Labelled Deduction (Applied Logic Series)
Seller Image
Labelled Deduction
Published by
Springer Netherlands Okt 2012, 2012
ISBN 10: 9401057818
ISBN 13: 9789401057813
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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 # 9789401057813
Quantity: 2 available
Seller Image
Labelled Deduction
Published by
Springer Netherlands, Springer Netherlands, 2012
ISBN 10: 9401057818
ISBN 13: 9789401057813
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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 # 9789401057813
Quantity: 1 available
Seller Image
Labelled Deduction
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5832418
Quantity: Over 20 available
Stock Image
Labelled Deduction (Applied Logic Series)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0412070055648
Quantity: Over 20 available
Stock Image
Labelled Deduction
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9789401057813
Quantity: 10 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 # 26127716801
Quantity: 4 available
Stock Image
Labelled Deduction (Applied Logic Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789401057813_new
Quantity: Over 20 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 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 132870686
Quantity: 4 available
Stock Image
Labelled Deduction
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 284. Seller Inventory # 18127716811
Quantity: 4 available