Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Displaying Modal Logic

Name: Displaying Modal Logic
Brand: Springer
SKU: 05322468
Price: 150.19 EUR
Availability: InStock
Author: Heinrich Wansing
ISBN: 9789048150793

Heinrich Wansing

Sprache

Englisch

Buch Broschur

Libristo-Code: 05322468

Verlag Springer, Dezember 2010

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspe... Vollständige Beschreibung

Libristo-Code: 05322468

368 b

150.19 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ottocento. Lezioni di storia contemporanea Raffaele Romanelli

Broschur

33.49 €

Konzepte und Strategien für Omnichannel-Exzellenz, m. 1 Buch, m. 1 E-Book Ingo Böckenholt

Hardcover

77.39 €

Wolfgang Amad. Mozart Johann Aloys Schlosser

Broschur

12.90 €

Cerveau - Cognition - Comportement Ridha Sahaly

Broschur

54.99 €

Laufbahnbewerber und Außenseiter. Michael Güntner

Broschur

66.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Displaying Modal Logic

Autor Heinrich Wansing

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 252

EAN 9789048150793

ISBN 9048150795

Libristo-Code 05322468

Verlag Springer

Gewicht 415

Abmessungen 155 x 235 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert