IF多值逻辑及博弈语义

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户：hewu0802

【摘要】

：

本文基于经典一阶逻辑句法的逻辑优先性分析，把Hintikka的独立联结词和独立量词扩展到多值逻辑中。我们给出IF多值逻辑的句法，并使用不完全信息的语义赋值博弈解释了IF多值逻辑

【作者】

：

【机构】

：

中山大学逻辑与认知研究所,海南大学社会科学部

【出处】

：

逻辑学研究

【发表日期】

：

2009年2期

【关键词】

：

【基金项目】

：

教育部重点研究基地重大项目“博弈逻辑研究”（08JJD720034）,广东省社科项目“多值逻辑与博弈”（07C07）.

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

本文基于经典一阶逻辑句法的逻辑优先性分析，把Hintikka的独立联结词和独立量词扩展到多值逻辑中。我们给出IF多值逻辑的句法，并使用不完全信息的语义赋值博弈解释了IF多值逻辑。

其他文献

本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的＂保真性＂给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,

期刊