1) Formal deductive system B
形式演绎系统B
2) formal deductive system
形式演绎系统
1.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
2.
A formal deductive system L* has been introduced, and L* has been applied to fuzzy reasoning.
研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的。
3.
The formal deductive system L is fuzzified in both aspects of semantics and syntax,and a meaningful extension L is obtained.
从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 。
3) formal deductive system L *
形式演绎系统L*
4) quasiformal deductive system
准形式演绎系统
5) improved formal deductive system L * 0
改进形式演绎系统L*0
6) simplified formal deductive system L * 0
简化形式演绎系统L0*
补充资料:内部形式与外部形式
标示形式自身相互区别的一对哲学范畴,即表现事物内容的两种不同的方式。内部形式是内容的内在组织结构,内容诸要素间的本质联系;外部形式是内容的外在的非本质的联系方式,是使不同内容的事物相互区别的外部形态、外部表现。内部形式和内容不可分割,和内容一起表现着事物的本质方面,其发展变化直接影响着内容的发展变化。它包含在内容自身之中,在一定意义上是内容的组成部分、因素和环节,和内容是直接统一的。外部形式同事物的现象相联系,是内容的外观,它以外在的表现形式对内容发生影响。外部形式同内容的联系不具有内部形式那样的内在性、直接性,它和内容不是直接统一的。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性,形象联系的合理性、协调性和完整性等,直接表现着文学艺术作品的思想主题,它们是和文学艺术内容直接统一的内部形式。在此意义上,内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料,通过文学艺术思想的物化形态表现出来,以供观赏。物质材料等文学艺术思想的物化形态,构成文学艺术的外部形式。对于文学艺术来说,其外部形式具有重要的作用。事物的外部形式具有不同的层次,其中,有些同事物的内容存在着一定联系,有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式,认为内部形式和内容一起共同表现着事物的本质,它对于理解和把握事物的发展具有重要意义。与此同时,也注意事物的外部形式,认为它是影响事物发展的一个因素。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性,形象联系的合理性、协调性和完整性等,直接表现着文学艺术作品的思想主题,它们是和文学艺术内容直接统一的内部形式。在此意义上,内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料,通过文学艺术思想的物化形态表现出来,以供观赏。物质材料等文学艺术思想的物化形态,构成文学艺术的外部形式。对于文学艺术来说,其外部形式具有重要的作用。事物的外部形式具有不同的层次,其中,有些同事物的内容存在着一定联系,有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式,认为内部形式和内容一起共同表现着事物的本质,它对于理解和把握事物的发展具有重要意义。与此同时,也注意事物的外部形式,认为它是影响事物发展的一个因素。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条