|
Books > Humanities > Philosophy > Topics in philosophy > Logic
|
Buy Now
Displaying Modal Logic (Hardcover, 1998 ed.)
Loot Price: R4,253
Discovery Miles 42 530
|
|
|
Displaying Modal Logic (Hardcover, 1998 ed.)
Series: Trends in Logic, 3
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
