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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 285 b
41 747 Ft
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 20 087 Ft
Toeplitz Centennial ohberg / Book Paperback
common.buy 18 634 Ft
Lehrbuch der Experimentalphysik ADOLF W LLNER / Book Paperback
common.buy 11 092 Ft
La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales José Saraiva Martins / Book Paperback
common.buy 6 807 Ft
Coming soon
Leuchte des Exils Hans Berkessel / Book Hardback
common.buy 6 645 Ft

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 41 747 Ft
How to Write a Pantomime Lesley Cookman / Book Paperback
common.buy 4 475 Ft
Equipping the Believer David Corbin / Book Paperback
common.buy 5 386 Ft
Making Large Schools Work Arthur Shapiro / Book Paperback
common.buy 25 811 Ft
Law in the Making Alessandro Pizzorusso / Book Paperback
common.buy 19 925 Ft
Laser Applications in Physical Chemistry Evans / Book Hardback
common.buy 158 369 Ft
Manufacturing Challenges in Electronic Packaging W. T. Chen / Book Paperback
common.buy 39 735 Ft
Believe to Succeed Karin Arutunyan / Book Hardback
common.buy 7 015 Ft
Feminist Perspective on Gender Representation in Nnedi Okorafor's 'Lagoon' Aneka Brunßen / Book Paperback
common.buy 6 279 Ft

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?