Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Displaying Modal Logic

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

Heinrich Wansing

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 05322468

Nakladnici Springer, prosinac 2010

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspe... Cijeli opis

Libristo kod: 05322468

349 b

143.86 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Ottocento. Lezioni di storia contemporanea Raffaele Romanelli

Meki uvez

30.70 €

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

Tvrdi uvez

70.81 €

Wolfgang Amad. Mozart Johann Aloys Schlosser

Meki uvez

11.71 €

Cerveau - Cognition - Comportement Ridha Sahaly

Meki uvez

52.53 €

Laufbahnbewerber und Außenseiter. Michael Güntner

Meki uvez

60.81 €

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.