English Books > Philosophy > Logic > Displaying Modal Logic

Displaying Modal Logic
Author: Wansing, Heinrich
Hardback; Book; Bibliography, Index
264 pages
Published: August 1998
Kluwer Academic Publishers Group
ISBN: 079235205X
This item non-returnable. Order may not be canceled.

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, a refinement of Gentzen's sequent calculus.



SurfStoreUSA

Google
 
The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.



Copyright © 2008 Open Communications, Inc
®Open Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map