Displaying Modal Logic
Wansing, Heinrich
ISBN 10: 079235205X ISBN 13: 9780792352051
Edité par Kluwer Academic Publishers, 1998
Neuf(s)
Couverture souple
Vendeur
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 27 février 2001
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Presents an introduction to Display Logic in the context of generalized Gentzen calculi. This book reviews several standard and non-standard sequent-style proof systems for modal logics. It motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N Belnap. Series: Trends in Logic. Num Pages: 252 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 553. . 1998. Hardback. . . . . N° de réf. du vendeur V9780792352051
Synopsis :
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Displaying Modal Logic
Éditeur : Kluwer Academic Publishers
Date d'édition : 1998
Reliure : Couverture souple
Etat : New
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Displaying Modal Logic (Trends in Logic, 3)
Edité par
Springer, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Ancien ou d'occasion
Couverture rigide
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. N° de réf. du vendeur mon0003603452
Acheter D'occasion
EUR 22,29
Frais de port :
EUR 4,31
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Displaying Modal Logic (Trends in Logic)
Edité par
Springer, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Ancien ou d'occasion
Couverture rigide
Vendeur : Book Alley, Pasadena, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Very Good. Very Good. Gently read with no markings. No dust jacket, as issued. Pasadena's finest new and used bookstore since 1992. N° de réf. du vendeur mon0000462850
Acheter D'occasion
EUR 22,30
Frais de port :
EUR 5,18
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Displaying Modal Logic (Trends in Logic)
Edité par
Kluwer Academic Publishers, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Ancien ou d'occasion
Couverture rigide
Vendeur : Paisleyhaze Books, New Hartford, CT, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : As 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. N° de réf. du vendeur TEC1299X
Acheter D'occasion
EUR 66,70
Frais de port :
EUR 5,18
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Displaying Modal Logic
Edité par
Springer Netherlands, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Gebunden. Etat : New. N° de réf. du vendeur 5968564
Acheter neuf
EUR 127,40
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Displaying Modal Logic
Edité par
Springer Netherland, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Neuf
Couverture rigide
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Displaying Modal Logic | Heinrich Wansing | Buch | xi | Englisch | 1998 | Springer Netherland | EAN 9780792352051 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 102114395
Acheter neuf
EUR 132,20
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Displaying Modal Logic (Trends in Logic, 3)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2416190182950
Acheter neuf
EUR 149,55
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Displaying Modal Logic
Edité par
Springer Netherlands, Springer Netherlands Aug 1998, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Neuf
Buch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. N° de réf. du vendeur 9780792352051
Acheter neuf
EUR 149,79
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Displaying Modal Logic
Edité par
Springer Netherlands Aug 1998, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Neuf
Buch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch. N° de réf. du vendeur 9780792352051
Acheter neuf
EUR 149,79
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Displaying Modal Logic (Trends in Logic, 3)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780792352051_new
Acheter neuf
EUR 150,62
Frais de port :
EUR 13,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Displaying Modal Logic
Edité par
Springer Netherlands, Springer Netherlands, 1998
ISBN 10 : 079235205X
ISBN 13 : 9780792352051
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9780792352051
Acheter neuf
EUR 157,86
Frais de port :
EUR 62,86
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)