简介：讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3），首先给出了L3的真值表，它是C2真值表的扩充，它也保持MP规则和正则性，接下来讨论了b中的重言式（tautology）与IPC（inmitionisticpropositionalcalculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。

简介：认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题，多主体的自认知逻辑系统，是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统，并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论，同时也对该系统的可靠性和完全性进行了证明。

简介：利用由均匀概率空间的无穷乘积所定义的Gn和∏n中公式的真度概念，给出了公式间相似度的一种新定义，讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统Gn和∏n中公式间的三种相似度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。

简介：定义了多值逻辑系统中的否定度,利用否定度的定义和R0-代数的性质讨论了多值逻辑系统中的否定度理论.

简介：研究了多值逻辑系统中的广义矛盾式，并对这些多值逻辑系统中的广义矛盾式进行了分划，强调了这种分划的不重不漏．

简介：习近平全面从严治党思想具有历史论、认识论、价值论、方法论、发展论的逻辑向度,即传统文化的历史传承向度、求真务实的理论认识向度、人民主体的价值诉求向度、全面改革创新的哲学方法向度、理想信念认同的目标引领向度,分别体现了习近平全面从严治党思想的历史资源、理论精髓、思想理念、方法手段、发展目标,构成了习近平新时代中国特色社会主义全面从严治党思想的逻辑系统,科学回答了全面从严治党的理论与现实问题。

简介：揭示了卢卡西维茨创造三值逻辑的基本原则：严格遵循二值逻辑命题联结词的函数定义;以此为前提,澄清了两个误区：a、当｜p｜=1/2时,｜（＊p）｜=1/2是遵循这一基本原则进行运算的结果,没有任何其他原因;b、当｜p｜=1/2,｜q｜=1/2时,｜p→q｜=1/2也是遵循同样的原则进行运算的必然结果,没有任何其他目的,即不是为了捍卫同一律而人为规定的.

简介：生成语法历来把语音／音系系统和句法／逻辑系统分开处理的做法值得商榷，两者在一定程度上可能是同一的。文章从具体的结构分析出发，探讨同样的或类似的规则、原则及其之间的互动既存在于音系层面也存在于句法层面的可能性。其例证来自于法语中直接宾语代词和间接宾语代词在非命令式以及命令式的否定形式的线性排序现象，这一句法结构可以用音系学中的“（反）裁切”关系进行简单合理的解释。

简介：在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F（Sn）表示.文中在F（Sn）中提出了基本推理链的概念,统计了不同长度的基本推理链的条数（在公式之间的逻辑等价或可证等价的意义下）.同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件.

简介：摘要：现阶段，为进一步提升广播电视节目的整体质量，保证广播电视整体网络能够正常运转成为了一项极为重要的工作，本文介绍了广播电视发射机逻辑系统的具体构造、与其相关的故障以及检修方式，以期进一步降低广播电视网络系统的故障发生概率，希望能够给读者带来启发。

简介：由于传统的二值逻辑无法解决诸多命题，三值逻辑乃至其他多值逻辑理论得到了迅速发展，其应用范围也日益广泛。三值逻辑的语义解释存在着很多分歧和“困难”，这并非语义解释自身存在着矛盾，而是因为人们在解释三值逻辑时仍然惯常于使用形而上学的思维方式。

简介：古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。而三值逻辑加入了一个既不是“真”也不是“假”的第三个真值。第三值的加入导致了经典的同一律、矛盾律和排中律的失效,但是可以构造出在三值逻辑中依然普遍有效的新的矛盾律和排中律。在二值逻辑系统中的存在永真式和永假式,但是对于三值逻辑永“不确定”式的存在是未知的。在对三值逻辑中永“不确定”式的存在性论证的过程中,可以发现当一个三值逻辑系统是经典命题逻辑系统的扩张时,它就不存在永“不确定”式。

简介：摘要IF钢又称为无间隙原子钢，其在实际应用的过程中具备较强的深冲性以及非时效性，主要应用在现代工业生产中，例如深冲杂罐等。基于此，本文将首先介绍冷轧工艺对IF钢r值和n值影响探究的实验设计，其次，分析冷轧工艺对IF钢r值的影响效果，最后研究冷轧工艺对IF钢n值的影响效果。

简介：本文讨论，f(f^（k）)^n的值分布的定量估计并改进了C.K.Tsc与C.C.Yang的一个结果。

简介：预设理论是当代逻辑学界和语言学界共同关心的重要研究课题。本文在叙述和比较预设逻辑各种理论的基础上,分析各自的优劣,指出各种赋值方案间虽然存在着差异,但它们又可相互共存并相互补充,从而能使我们从各种不同视角深入了解和认识预设的本质。

简介：

简介：一、从一个真实的故事说起笔者是一位年逾古稀的老者．早在半个多世纪以前的1961年10月8日，在扬州工学院内燃机制造专业04乙班《高等数学》课堂上，青春年少的我正在聚精会神地听老师讲课．老师举了一个例题，并霍然把它写在黑板上（那时我们是把“tan”写作“tg”）：

简介：研究Ｐ［ｆ］·（ｆ（ｋ））ｎ值分布的定量估计，推广并改进了ＴｓｅＣＫ与ＹａｎｇＣＣ的一个结果．

简介：考虑n级混合微分系统第二特征值的上界估计。利用试验函数、分部积分和不等式等估计方法与技巧,获得了用第一特征值来估计第二特征值的上界的不等式,其估计系数与区间的度量无关。其结果在常微分方程的研究和应用中起着重要的作用。

简介：R．A．Gordon在[1]中定义了从R^1到Banach空间抽象函数的McShane积分，证明了当X不含C0时，如果，在[a，b]上MeShanef可积，则在[a．b]上Pettis可积．在这篇文章中，我们定义了从R^n到Banaach空间抽象函数的Mcshane积分。证明了fMcShane可积，则f是Pettis可积．于是我们推广了[1]的结果。