Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author="TRANCHINI, Luca"
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
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
Comment Share
TRANCHINI, Luca

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not whol…

Edition
1
ISBN/ISSN
9783031469213
Collation
XV, 184
Series Title
-
Call Number
-