Displaying Modal Logic: 3 (Trends in Logic, 3) - Image 1

£99.53

Springer Displaying Modal Logic: 3 (Trends in Logic, 3)

Name: Displaying Modal Logic: 3 (Trends in Logic, 3)
Brand: Springer
Price: 99.37 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 40 days • 40 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 40 days • 1 price levels

Days at Price

Price Analysis

Most common price: £99 (40 days, 100.0%)

Price range: £99 - £99

Price levels: 1 different prices over 40 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048150795
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 05 December 2010
Listed Since: 01 October 2010

Barcode

No barcode data available

Springer Displaying Modal Logic: 3 (Trends in Logic, 3)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Displaying Modal Logic: 3 (Trends in Logic, 3)

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Propositional Logics Third Edition

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)

Modal Logic: An Introduction to its Syntax and Semantics

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Temporal Logic - World Scientific Publishing Company Book

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic for Applications (Texts in Computer Science)

Introduction to Mathematical Logic: Extended Edition

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Introduction to Logic

Conditionals and Modularity in General Logics (Cognitive Technologies)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Methods of Cut-Elimination: 34 (Trends in Logic, 34)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)