2. 您的位置
3. 首页
4. 会议论文
5. Assertion and Denial in Proof-Theoretic Semantics

Assertion and Denial in Proof-Theoretic Semantics

来源 :第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic) | 被引量 : 0次 | 上传用户：biantaitai

【作 者】

：

Peter Schroeder-Heister 

【机 构】

：

UniversityofTuebingen-Germany

【出 处】

：

第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic)

【发表日期】

：

2007年8期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

What is logic Why and how

会议

Substructural logics vs classical logic

会议

Dynamic description logic

会议

Harmonious many-valued propositional logics

会议

From Classical Logic to Mathematical Dialectic Logic

会议

New dimensions on translations between logics

会议

A Note on The Metatheory of the Classical Propositional Calculus is not Axiomatizable

会议

Behavioral algebraization

会议

Discussion on the Essence and Common Characters of Logics

会议

Classical model existence theorem in predicate logics

会议