Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: subject="Semantik dalam logika...
cover
Harmony and Paradox; Intensional Aspects of Proof-Theoretic Semantics
Comment Share
TRANCHINI, Luca

Buku akses terbuka ini menyelidiki peran yang dimainkan oleh identitas bukti dalam semantik teori-bukti. Buku ini mengembangkan sebuah konsepsi tentang semantik teori-pembuktian yang terutama berkaitan dengan hubungan antara bukti (dipahami sebagai entitas abstrak) dan turunan (representasi linguistik dari bukti). Buku ini menunjukkan bahwa identitas bukti adalah kunci untuk memperjelas beberap…

Edition
-
ISBN/ISSN
978-3-031-46921-3
Collation
online resource ( XV, 184 Pages)
Series Title
Tren dalam Logika (TREN)
Call Number
160.3 TRA h
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