Displaying Modal Logic

By:

Heinrich Wansing

Format:

Hardback

Series:

Trends in Logic

Show Hide Adult Content

$380.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $95.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 9-19 July using International Courier

Description

This is an introduction to display logic in the context of generalized Gentzen calculi. After reviewing several standard and non-standard sequent-style proof systems for modal logics, the author carefully motivates and develops display logic, an important refinement of Gentzen's sequent calculus devised by N.Belnap. The text proves a general strong cut-elimination theorem that covers a large class of display sequent calculi. Moreover, a proof-theoretic semantics of the modal operators is developed. Proof-theoretic characterizations are also obtained for the logical operations of systems associated with Tarskian structured consequence relations. These systems include constructive logics with strong negation. Using the embedding of intuitionistic logic in S4, display calculi are presented for certain subintuitionistic logics that may be used as monotonic base systems for semantics-based non-monotonic reasoning. Eventually, a first-order display calculus is defined. Its modal extension is general enough to avoid the provability of both the Barcan formula and its converse.

Release date Australia

August 31st, 1998

Author

Heinrich Wansing

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Illustrations

XI, 252 p.

Pages

252

Series

Trends in Logic

Dimensions

156x234x15

ISBN-13

9780792352051

Product ID

2437597

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here