作者：冯棉
类别：哲学思想电子书
关键词：相干与衍推谓词逻辑
整理日期：2021-11-29 05:35:31
下载地址： 本地下载 网友上传
作品导读
冯棉著的《相干与衍推谓词逻辑》内容是研究相干与衍推谓词逻辑，涉及多种相干与衍推谓词逻辑弱系统和强系统的建构，包括公理系统、自然推理系统和结构推理系统，在此基础上，建构了相干与衍推谓词逻辑弱系统的三元关系变域语义，并证明了各种相干与衍推谓词逻辑..
相干与衍推谓词逻辑的作者是冯棉。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。