Description

Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.

  • Efficient and elegant presentation of classical first-order logic.
  • Presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
  • Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic.
  • Includes problem sets, designed to lead students gradually from easier to more difficult problems.

Further information and select answers to problems available here: bonevac.info/deduction/About_the_Book.html

Deduction: Introductory Symbolic Logic

Product form

£39.95

Includes FREE delivery
Usually despatched within 5 days
Paperback / softback by Daniel Bonevac

3 in stock

Short Description:

Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the... Read more

    Publisher: John Wiley and Sons Ltd
    Publication Date: 13/09/2002
    ISBN13: 9780631227137, 978-0631227137
    ISBN10: 063122713X

    Number of Pages: 528

    Non Fiction , Mathematics & Science , Education

    Description

    Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.

    • Efficient and elegant presentation of classical first-order logic.
    • Presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
    • Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic.
    • Includes problem sets, designed to lead students gradually from easier to more difficult problems.

    Further information and select answers to problems available here: bonevac.info/deduction/About_the_Book.html

    Customer Reviews

    Be the first to write a review
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)

    Recently viewed products

    © 2025 Book Curl,

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account