Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author="Piecha, Thomas"
cover
Advances in Proof-Theoretic Semantics
Comment Share
Piecha, ThomasHeister, Peter Schroeder

Buku ini adalah koleksi pertama yang dikhususkan untuk bidang semantik teori pembuktian. Kontribusi-kontribusi membahas topik-topik termasuk sistematika aturan-aturan pengenalan dan eliminasi dan bukti-bukti normalisasi, karakterisasi kategorik dari deduksi, hubungan antara pendekatan Heyting dan Gentzen tentang makna, paradoks-paradoks yang dapat diketahui, dasar-dasar teori pembuktian dari te…

Edition
-
ISBN/ISSN
978-3-319-22686-6
Collation
online resource ( VI, 283 Pages)
Series Title
Tren dalam Logika (TREN)
Call Number
160.3 PIE a
cover
Advances in Proof-Theoretic Semantics
Comment Share
Piecha, ThomasSchroeder-Heister, Peter

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…

Edition
Ed. 1
ISBN/ISSN
978-3-319-22686-6
Collation
VI, 283
Series Title
Trends in Logic
Call Number
511.3 ADV a