Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Labelled Deduction

Language EnglishEnglish
Book Hardback
Book Labelled Deduction David Basin
Libristo code: 05250736
Publishers Springer, April 2000
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Full description
? points 277 b
114.64 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker / Book Paperback
common.buy 51.75 €
Lehrbuch der Experimentalphysik ADOLF W LLNER / Book Paperback
common.buy 28.55 €
La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales José Saraiva Martins / Book Paperback
common.buy 19.23 €
Coming soon
Leuchte des Exils Hans Berkessel / Book Hardback
common.buy 18.73 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Labelled Deduction
Author David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Language English
Binding Book - Hardback
Date of issue 2000
Number of pages 267
EAN 9780792362371
ISBN 0792362373
Libristo code 05250736
Publishers Springer
Weight 1270
Dimensions 170 x 244 x 20

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Literacy Development and Enhancement Across Orthographies and Cultures Dorit Aram / Book Hardback
common.buy 114.64 €
How to Write a Pantomime Lesley Cookman / Book Paperback
common.buy 11.54 €
Making Large Schools Work Arthur Shapiro / Book Paperback
common.buy 68.36 €
Law in the Making Alessandro Pizzorusso / Book Paperback
common.buy 51.75 €
Laser Applications in Physical Chemistry Evans / Book Hardback
common.buy 417.07 €
Believe to Succeed Karin Arutunyan / Book Hardback
common.buy 17.92 €
Feminist Perspective on Gender Representation in Nnedi Okorafor's 'Lagoon' Aneka Brunßen / Book Paperback
common.buy 16.20 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?