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
标签:	添加标签 没有标签, 成为第一个标记此记录!