Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 07.09.2026 bis 09.09.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
  • Produktbild: Labelled Non-Classical Logics
  • Produktbild: Labelled Non-Classical Logics
- 13%

Labelled Non-Classical Logics

13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Abbildungen

XIV, 292 p.

Verlag

Springer Us

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

Softcover reprint of the original 1st edition 2000

Sprache

Englisch

ISBN

978-1-4419-4962-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Abbildungen

XIV, 292 p.

Verlag

Springer Us

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

Softcover reprint of the original 1st edition 2000

Sprache

Englisch

ISBN

978-1-4419-4962-2

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Labelled Non-Classical Logics
  • Produktbild: Labelled Non-Classical Logics
  • 1. Introduction.- I Labelled deduction for non-classical logics.- 2. Labelled Natural Deduction Systems for Propositional Modal Logics.- 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics.- 4. Labelled Natural Deduction Systems for Quantified Modal Logics.- 5. Encoding Labelled Non-Classical Logics in Isabelle.- 6. Labelled Sequent Systems for Non-Classical Logics.- 7. Discussion.- II Substructural and complexity analysis of modal sequent systems.- 8. Introduction and Preliminaries.- 9. Substructural Analysis of S(K).- 10. Substructural Analysis of S(T).- 11. Substructural Analysis of S(K4) and S(S4).- 12. Complexity of Proof Search in K, T, K4 and S4.- 13. Discussion.- 14. Conclusions and Further Research.- References.