Trending Bestseller

Deduction

No reviews yet Write a Review
Paperback / softback
13-September-2002
$103.60
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:

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

You Can Find This Title In

    Product Details
    ISBN-13
    9780631227137
    Author
    Daniel Bonevac
    Publisher
    John Wiley & Sons (UK)
    Published
    13-September-2002
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    $103.60
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Deduction

    $103.60

    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

    You Can Find This Title In

      This Title Is Categorised As