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 Gentzen's 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. ...
Read More
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 Gentzen's 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.
Read Less
Add this copy of Displaying Modal Logic to cart. $150.29, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer.
Add this copy of Displaying Modal Logic to cart. $187.56, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2010 by Springer.
Add this copy of Displaying Modal Logic (Trends in Logic) to cart. $25.07, very good condition, Sold by Book Alley rated 4.0 out of 5 stars, ships from Pasadena, CA, UNITED STATES, published 1998 by Springer.
Add this copy of Displaying Modal Logic (Trends in Logic, 3) to cart. $26.09, very good condition, Sold by Books From California rated 4.0 out of 5 stars, ships from Simi Valley, CA, UNITED STATES, published 1998 by Springer.
Add this copy of Displaying Modal Logic (Trends in Logic, 3) to cart. $61.86, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1998 by Springer.
Add this copy of Displaying Modal Logic (Trends in Logic, 3) to cart. $74.95, like new condition, Sold by Paisleyhaze Books & Records rated 5.0 out of 5 stars, ships from New Hartford, CT, UNITED STATES, published 1998 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. NEW: Kluwer Academic hardcover, 1998, unused and carefully stored, No remainder marks or "shelf wear" (as New). We will bubble-wrap the book and ship it in a BOX with delivery confirmation/tracking.
Add this copy of Displaying Modal Logic to cart. $150.29, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1998 by Springer.
