ENGLISH

Natural deduction: A proof-theoretical study

By Dag Prawitz

Book information

Publisher
Dover Publications
Year
2006
ISBN
0486446557, 9780486446554
LCC
BC71 .P68 2006
Open Library ID
OL3427728M
Language
english
Format
DJVU
Filesize
993 kB (1017242 bytes)
Pages
115\115
Topic
Mathematics Logic
Library
Kolxo3
DPI
600
Time added
2009-12-04 00:34:26

Description

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.

Similar books