shop by

Displaying Modal Logic (Hardcover)

Author: Wansing, H.

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

This is the first comprehensive 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 Gentzens sequent calculus devised by N. Belnap. A general strong cut-elimination theorem is proved 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. *Author: Wansing, H./ Wansing, Heinrich *Series Title: Environment & Management *Series Number: 3 *Binding Type: Hardcover *Number of Pages: 264 *Publication Date: 1998/08/31 *Language: English *Dimensions: 9.21 x 6.14 x 0.69 inches


Publisher Springer
Mfg Part# 9780792352051
SKU 203527239
Format Hardcover
ISBN10 079235205X
Release Date 4/10/2007
Product Attributes
Book Format Hardcover
Number of Pages 0264
Publisher Springer
Series Part 3
$242.65 + $2.75 shipping
Rakuten Super Points Earn 243 ($2.43) Rakuten Super Points™
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
Get this item for
(price with shipping)
(redeem points)
Format: Hardcover
Condition: Brand New
In Stock. Usually Ships in 1 to 2 business days
Please select an option to buy
Add to Cart

Sold By:  UnbeatableSale
What is a Marketplace and Shop Owner?
  • Our marketplace is a platform where approved third-party retailers (Shop Owners) can sell their products
  • Items are sold and shipped by Shop Owners
  • Your credit card and personal information remain secure; meets all PCI Security Standards.
  • Purchases can only be returned to the Shop Owner
  • All purchases receive Rakuten Super Points™
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details