Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Displaying Modal Logic

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

Heinrich Wansing

Limba

engleză

Carte Carte broșată

Codul Libristo: 05322468

Editura Springer, decembrie 2010

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspe... Descrierea completă

Codul Libristo: 05322468

367 b

799.76 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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

Copertă tare

391.46 lei

Ottocento. Lezioni di storia contemporanea Raffaele Romanelli

Carte broșată

172.11 lei

Wolfgang Amad. Mozart Johann Aloys Schlosser

Carte broșată

65.31 lei

Zoé tout court: Toute verte Anne Delcourt

Copertă tare

69.59 lei

Cerveau - Cognition - Comportement Ridha Sahaly

Carte broșată

293.13 lei

Laufbahnbewerber und Außenseiter. Michael Güntner

Carte broșată

391.05 lei

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.