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 (Խմբագիր)
Ձևաչափ: Էլեկտրոնային էլ․ գիրք
Լեզու:անգլերեն
Հրապարակվել է: Cham : Springer International Publishing : Imprint: Springer, 2016.
Շարք:Trends in Logic, Studia Logica Library, 43
Խորագրեր:
Առցանց հասանելիություն:http://dx.doi.org/10.1007/978-3-319-22686-6
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր