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

£105.95

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

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

AI & Machine Learning

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price

Price Analysis

Most common price: £106 (42 days, 100.0%)

Price range: £106 - £106

Price levels: 1 different prices over 42 days

Description

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 079235205X
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 31 August 1998
Listed Since: 06 February 2007

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)

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

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

Propositional Logics Third Edition

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

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

Logic for Applications (Texts in Computer Science)

Modal Logic: An Introduction to its Syntax and Semantics

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

Springer - Gerhard Gentzen's Shorthand Notes on Logic

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

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

Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law: 32 (Law and Philosophy Library, 32)

Introduction to Mathematical Logic: Extended Edition

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

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Introduction to Logic

Advances In Modal Logic, Volume 3

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)

Temporal Logic - World Scientific Publishing Company Book

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Conditionals and Modularity in General Logics (Cognitive Technologies)