Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Labelled Non-Classical Logics

Name: Labelled Non-Classical Logics
Brand: Springer-Verlag New York Inc.
SKU: 01423360
Price: 4059 CZK
Availability: InStock
Author: Luca Vigan
ISBN: 9781441949622

Luca Vigan

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01423360

Nakladatelství Springer-Verlag New York Inc., prosinec 2010

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for... Celý popis

Libristo kód: 01423360

406 b

4 059 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

MEMORIAS DE UNA VIDA INCONCLUSA RODRIGUEZ SANABRIA

Brožovaná

356 Kč

Nova Acta Academiae Caesareae Leopoldino Albert Wangerin

Brožovaná

914 Kč

tournee Ludovic, journal d'un comique voyageur GALIPAUX-F

Brožovaná

606 Kč

Derecho de la edificación

Pevná

4 095 Kč

Qualitätssichernde Auflagen im Gesundheitswesen Martin Schlie

Brožovaná

874 Kč

Alfa Roméo SERGE BELLU

Brožovaná

2 815 Kč

Trois poèmes de Charles Juliet Girard

Brožovaná

607 Kč

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics.