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 (編集者), Schroeder-Heister, Peter (編集者)
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	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
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!