云南高校图书馆联盟文献共享服务平台- GODEL

GODEL: 作品数：24被引量：23H指数：2; 导出分析报告; 相关领域：自动化与计算机技术理学更多>>; 相关作者：惠小静彭家寅李松斌赵致琢苏剑煌更多>>; 相关机构：厦门大学延安大学内江师范学院西北大学更多>>; 相关期刊：《哲学研究》《自然辩证法研究》《Chinese Physics B》《山东大学学报（理学版）》更多>>; 相关基金：国家自然科学基金福建省自然科学基金陕西省自然科学基金陕西省教育厅科研计划项目更多>>

模糊模态集合论及其多元G值模型: 《模糊系统与数学》2024年第4期11-20,共10页杨帆; 中央高校基本科研业务费专项资金资助“面向机器定理证明的模糊逻辑研究”(3132022308)。; 为了构造基于模糊模态逻辑的ZF型集合论,从Godel模态逻辑的□片段出发构造其一阶形式G□∀△,给出其公理系统和模型,以此为底层逻辑构造ZF型模糊模态集合论GZF。结合集合论多元宇宙观的思想,提出了GZF的多元G值模型,并分析了构造模糊模...; 关键词：模糊模态集合论 Godel模态逻辑模糊集合论

There Is No Standard Model of ZFC and ZFC_(2) with Henkin Semantics: 《Advances in Pure Mathematics》2019年第9期685-744,共60页Jaykov Foukzon Elena Men’kova; In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization of Löb’s theorem is ...; 关键词：Godel Encoding Completion of ZFC Russell’s Paradox ω-Model Henkin Semantics Full Second-Order Semantic Strongly Inaccessible Cardinal

增加Δ算子的G?del n值命题逻辑系统理论的平均真度: 《计算机工程与应用》2018年第19期68-71,134,共5页王勇勇惠小静; 在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。; 关键词：Godeln值命题逻辑系统有限理论平均真度 Δ算子

BL-代数的区间值犹豫模糊理想被引量：4: 《模糊系统与数学》2017年第6期1-13,共13页彭家寅; 教育部数学与应用数学专业综合改革(ZG0464);四川省科技厅重点科技项目(2006J13-035);四川省数学与成用数学专业综合改革(01249);四川省解析儿何精品开放课程;精品资源共享课;国家自然科学基金(11071178);内江师范学院应用数学重点学科;四川省教育厅和内江师范学院卓越中学教师协同培养计划; 将区间值犹豫模糊集应用于BL-代数的理想理论中,初步建立BL-代数的区间值犹豫模糊理想理论。首先,引入了区间值犹豫模糊理想的概念,并研究它的基本性质。其次,定义了三种特殊的区间值犹豫模糊理想:区间值犹豫模糊蕴涵理想、区间值犹豫模...; 关键词：BL-代数区间值犹豫模糊集区间值犹豫模糊理想区间值犹豫模糊蕴涵理想区间值犹豫模糊Boolean理想区间值犹豫模糊Godel理想

BL-代数上的(,⊙)-微分: 《陕西师范大学学报（自然科学版）》2017年第3期1-5,共5页王军涛秦玉静辛小龙; 国家自然科学基金(11571281);西北大学研究生自主创新项目(YZZ15069); 在BL-代数上引入(,⊙)-微分,研究BL-代数(,⊙)-微分的一些性质。给出BL-代数的G?del中心上(,⊙)-微分的等价刻画并讨论G?del中心上(,⊙)-微分的相关性质。用微分的不动点之集刻画G?del代数,讨论了BL-代数上(,⊙)-微分与BL-代...; 关键词：BL-代数 ( )一微分 GOdel中心格理想

G?del n值命题逻辑系统中的Δ真度被引量：1: 《模糊系统与数学》2016年第6期12-18,共7页朱乃调惠小静高晓莉高姣; 国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);延安大学研究生创新基金资助项目(YCX201612);陕西省大学生创新训练计划项目(1064); 在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。; 关键词：GODEL n值命题逻辑系统 Δ算子 Δ真度

BL-代数的扰动模糊理想被引量：3: 《山东大学学报（理学版）》2016年第10期78-94,共17页彭家寅; 国家自然科学基金(11071178);教育部数学与应用数学专业综合改革(ZG0464);四川省科技厅重点科技项目(2006J13-035);四川省数学与应用数学专业综合改革(01249);内江师范学院应用数学重点学科;四川省教育厅和内江师范学院卓越中学教师协同培养计划; 利用扰动模糊集概念,研究BL-代数的扰动模糊理想的性质。引入了扰动模糊理想的概念并研究它的一些性质。通过扰动模糊理想构造了商BL-代数,并给出了扰动模糊同态基本定理。此外,给出了由扰动模糊集生成扰动模糊理想的方法。定义了扰动...; 关键词：BL-代数扰动模糊理想扰动模糊Boolean理想扰动模糊素理想扰动模糊既约理想扰动模糊超理想扰动模糊固执理想扰动模糊Godel理想

MTL-代数的模糊理想被引量：4: 《浙江大学学报（理学版）》2015年第5期514-520,共7页刘春辉; 国家自然科学基金资助项目(60774073); 将模糊集与理想概念相结合,在MTL-代数中引入模糊理想、模糊素理想、模糊Boolean理想、模糊关联理想、模糊超理想、模糊固执理想和模糊Gdel理想的概念,并考察它们的特征、性质和相互关系.证明了对MTL-代数的非常值模糊理想f,如下各条...; 关键词：模糊逻辑 MTL-代数模糊理想模糊素理想模糊超理想模糊Godel理想

Is Intuition Necessary for Defending Platonism？: 《Frontiers of Philosophy in China》2015年第3期492-509,共18页XU Difei; Godel asserts that his philosophy falls under the category of conceptual realism. This paper gives a general picture of GOdel＇s conceptual realism＇s basic doctrines, and gives a way to understand conceptual realism ...; 关键词：Godel＇s conceptual realism INTUITION PHYSICALISM concepts

BL-代数的严格滤子被引量：1: 《山东大学学报（理学版）》2014年第3期63-67,共5页杨永伟贺鹏飞李毅君; 陕西省教育厅科研计划资助项目(2013JK0562);西北大学研究生自主创新资助项目(YZZ12061); 引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是G¨odel代数。揭示了严格滤子与整滤子、素滤子等的关系。; 关键词：BL-代数严格滤子 Godel代数

GODEL