Your data. Your choice.

If you select «Essential cookies only», we’ll use cookies and similar technologies to collect information about your device and how you use our website. We need this information to allow you to log in securely and use basic functions such as the shopping cart.

By accepting all cookies, you’re allowing us to use this data to show you personalised offers, improve our website, and display targeted adverts on our website and on other websites or apps. Some data may also be shared with third parties and advertising partners as part of this process.

Goal-Directed Proof Theory

Dov M. Gabbay, N. Olivetti, 2010
Price in EUR including VAT
Delivered between Fri, 5.6. and Tue, 9.6.
More than 10 pieces in stock at supplier
free shipping

Product details

"Goal-directed proof theory" offers a unified and coherent methodology for automated deduction in non-classical logics. This methodology, based on goal-oriented reasoning, represents a generalization of the logic programming deduction style and is particularly advantageous for proof search. For the first time, this methodology is applied in a unified manner to a variety of non-classical systems, including intuitionistic, intermediate, modal, and substructural logics. The book also serves as an introduction to these logical systems from a procedural perspective. It is aimed at computer scientists, mathematicians, philosophers, and anyone interested in the automation of thinking based on non-classical logics. It is suitable for self-study, with the only prerequisite being a basic knowledge of logic and proof theory.

Key specifications

topic
Mathematics & Natural Sciences
Author
Dov M. GabbayN. Olivetti
Year
2010
Number of pages
268
Book cover
Paperback

General information

Item number
55380285
Publisher
Springer
Category
Reference books
Release date
4.3.2025

Book properties

topic
Mathematics & Natural Sciences
Author
Dov M. GabbayN. Olivetti
Year
2010
Number of pages
268
Book cover
Paperback

Voluntary climate contribution

CO₂ emissions
0,5 kg
Climate contribution
EUR 0,12

Legal Notice

Product Safety

14-day cancellation right
30-day right of return if unopened
24 Months statutory warranty
Legal concerns

Compare products

Goes with

Reviews & Ratings

Statutory warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Galaxus
  • 1.Rheinwerk
    0 %
  • 1.S.Fischer
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Ullstein
    0 %

Statutory warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Galaxus
  • Springer
    Not enough data
  • An der Ruhr
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data
  • Avery Publishing Group
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Galaxus
  • 52.Rheinwerk
    1 %
  • 57.Penguin Random House
    1,1 %
  • 57.Springer
    1,1 %
  • 59.An der Ruhr
    1,2 %
  • 59.Don Bosco
    1,2 %
Source: Galaxus