Derzeit nicht verfügbar
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Optischer Zustand
Beschreibung
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main Dieses Produkt haben wir gerade leider nicht auf Lager.
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Technische Daten
Erscheinungsdatum
08.12.2014
Sprache
Englisch
EAN
9783319110400
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Outstanding Contributions to Logic
Sonderedition
Nein
Seitenanzahl
458
Auflage
2015
Einbandart
Gebundene Ausgabe
Autorenporträt
Heinrich Wansing is a professor of logic and epistemology at the Ruhr University Bochum (Germany). He is known for his work in philosophical logic, including the semantics and proof theory of modal, constructive, paraconsistent, many-valued and other non-classical logics. Moreover, he is the editor-in-chief of the book series Trends in Logic (Springer)
Schlagwörter
C-Justification for empirical statements, Cut-elimination, substitution and normalization, Explaining deductive inference, Fusing quantifiers and connectives, General-elimination harmony and higher-level rules, Gerhard Gentzen, Hypothesis-discharging rules in atomic bases, Inferential semantics, Intuitionistic existential instantiation and epsilon symbol, Inversion principles and introduction rules, Necessity of thought, Prawitz, proofs and meaning, cut-elimination, motives for proof theory, natural deduction, proof-theoretic semantics, sequent calculus, structural proof theory
Thema-Inhalt
QDTL - Philosophie: Logik
PBCD - Mathematik: Logik
PBC - Mathematische Grundlagen
UYA - Theoretische Informatik
Höhe
235 mm
Breite
15.5 cm
Transparenz & Sicherheit
Hersteller: Palgrave Macmillan, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Sicher bei rebuy kaufen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!
Sicher bei rebuy kaufen