2. 您的位置
3. 首页
4. 会议论文
5. Behavioral algebraization

Behavioral algebraization

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

【作 者】

：

Carlos Caleiro Manuel Martins Ricardo Goncalves 

【机 构】

：

TechnicalUniversityofLisbon-PortugalAveiroUniversity-Portugal

【出 处】

：

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

【发表日期】

：

2007年8期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

Dialectical Contradictions and Universal Logics-The Spectrum Phenomenon in Flexible Logic

会议

Institution theory and Buddhist thinking

会议

The mathematical core of Tarskis truth definition

会议

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

会议