Advances in Proof-Theoretic Semantics

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...

全面介紹

書目詳細資料

企業作者:	SpringerLink (Online service)
其他作者:	Piecha, Thomas (Editor), Schroeder-Heister, Peter (Editor)
格式:	電子 電子書
語言:	英语
出版:	Cham : Springer International Publishing : Imprint: Springer, 2016.
叢編:	Trends in Logic, Studia Logica Library, 43
主題:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
在線閱讀:	http://dx.doi.org/10.1007/978-3-319-22686-6
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!