Advances in Proof-Theoretic Semantics

Overview & Synopsis

Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume is the first ever collection devoted to the field of proof-theoretic semantics.

Advertisement
SPONSOR CONTENT
Indexed from repository: FreeComputerBooks.com (freecomputerbooks.com)
Loading document from verified source...
Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Information

Document Title Advances in Proof-Theoretic Semantics
Author / Organization Thomas Piecha, Peter Schroeder-Heister
Subject & Discipline Mathematical Logic - Set Theory, Model Theory, Computability, etc, Linked Data, Semantics, Computational Semantics, Semantic Web
Categories Mathematical Logic - Set Theory, Model Theory, Computability, etc
ISBN 978-3319226859
License / Rights Creative Commons License (CC)
Resource Verification Access Restricted / Protected Host
Original Host Website FreeComputerBooks.com (freecomputerbooks.com)
File Format application/pdf (Portable Document Format)
Language ENGLISH
Catalog ID DOC-73316
Original Source Link Visit Source Page on freecomputerbooks.com »
Commercial / Print Edition

Prefer a Physical Book or Kindle Edition?

Advances in Proof-Theoretic Semantics • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.