Dag Prawitz on Proofs and Meaning

• Corporate Author: SpringerLink (Online service)
• Other Authors: Wansing, Heinrich (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Outstanding Contributions to Logic, 7
• Subjects: Philosophy.; Logic.; Computer logic.; Mathematical logic.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.

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 t...