Proof-theoretic semantics
Type
Book
Rate
0.0 /5
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as truth-conditions (in arbitrary models), the former regards meaning as canonical derivability conditions in a meaning-conferring natural-deduction proof-system.
Read More ↓Title Statements
- Full title :Proof-theoretic semantics / Nissim Francez.
Summary
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as truth-conditions (in arbitrary models), the former regards meaning as canonical derivability conditions in a meaning-conferring natural-deduction proof-system.
Read More ↓Edition Statements
- Publication Date:2015
Publication Statements
- Publisher(s):College Publications
- Place of Publication:London
- Language:eng
- Publication Date:2015
The Physical Object
- Description:xx, 415 pages ; : 24 cm.
Edition Identifiers
- ISBN:1848901836, 9781848901834
- oclc:ocn932263717
- LC Classification:QA9.54
- Dewey Decimal:005.4/3
Rate & Review