Displaying Modal Logic (Trends in Logic, 3)
Wansing, Heinrich
ISBN 10: 079235205X ISBN 13: 9780792352051
Editore: Springer, 1998
Nuovi
Rilegato
Da
Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 30 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
SUPER FAST SHIPPING. Codice articolo 9780792352051
Riassunto:
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.
Contenuti: Preface. 1. Introduction. 2. Sequents Generalized. 3. Display Logic. 4. Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination. 5. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics. 6. Modal Tableaux Based on Residuation. 7. Strong Cut-Elimination and Labelled Modal Tableaux. 8. Tarskian Structured Consequence Relations and Functional Completeness. 9. Constructive Negation and the Modal Logic of Consistency. 10. Displaying as Temporalizing. 11. Translation of Hypersequents into Display Sequents. 12. Predicate Logics on Display. 13. Appendix. Bibliography. Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Displaying Modal Logic (Trends in Logic, 3)
Casa editrice: Springer
Data di pubblicazione: 1998
Legatura: Rilegato
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Displaying Modal Logic (Trends in Logic, 3)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Codice articolo mon0003603452
Compra usato
EUR 22,21
Spese di spedizione:
EUR 4,29
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Displaying Modal Logic (Trends in Logic)
Da: Book Alley, Pasadena, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. Very Good. Gently read with no markings. No dust jacket, as issued. Pasadena's finest new and used bookstore since 1992. Codice articolo mon0000462850
Compra usato
EUR 22,22
Spese di spedizione:
EUR 5,16
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Displaying Modal Logic (Trends in Logic)
Editore:
Kluwer Academic Publishers, 1998
ISBN 10: 079235205X
ISBN 13: 9780792352051
Antico o usato
Rilegato
Da: Paisleyhaze Books, New Hartford, CT, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo TEC1299X
Compra usato
EUR 66,48
Spese di spedizione:
EUR 5,16
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Displaying Modal Logic
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Codice articolo 5968564
Compra nuovo
EUR 127,40
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Displaying Modal Logic
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 102114395
Compra nuovo
EUR 132,20
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Displaying Modal Logic (Trends in Logic, 3)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190182950
Compra nuovo
EUR 149,04
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Displaying Modal Logic
Editore:
Springer Netherlands, Springer Netherlands Aug 1998, 1998
ISBN 10: 079235205X
ISBN 13: 9780792352051
Nuovo
Buch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9780792352051
Compra nuovo
EUR 149,79
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Displaying Modal Logic
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9780792352051
Compra nuovo
EUR 149,79
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Displaying Modal Logic (Trends in Logic, 3)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792352051_new
Compra nuovo
EUR 150,44
Spese di spedizione:
EUR 13,58
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Displaying Modal Logic
Editore:
Springer Netherlands, Springer Netherlands, 1998
ISBN 10: 079235205X
ISBN 13: 9780792352051
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9780792352051
Compra nuovo
EUR 157,86
Spese di spedizione:
EUR 62,86
Da: Germania a: U.S.A.
Quantità: 1 disponibili