In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investi...In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given.展开更多
Valuation spaces with respect to diverse implication operators are investigated in a unified way where the Lebesgue measure is a commonly used measure, and it is proved that all the logic formulas are measurable funct...Valuation spaces with respect to diverse implication operators are investigated in a unified way where the Lebesgue measure is a commonly used measure, and it is proved that all the logic formulas are measurable functions with respect to popularly used implication operations. The concept of t-(α-tautology) is introduced and rules of generalized modus ponens (MP) and hypothetic syllogism (HS) are established in the sense of semantics. The concept of truth degree of a logic formula is introduced and rules of integral MP and integral HS are proposed. Finally, a kind of pseudo-metric is introduced to the set consisting of all logic formulas by establishing a universal logical metric space, making it possible to develop a new type of approximate reasoning arise.展开更多
司法录音检验技术的社会需求在急剧增加,而我国一些司法鉴定机构的司法录音检验业务却面临着难以为继的困局。反观英国的司法录音检验机构——J Peter French Associates(JPFA),不仅是引领国际性的研究协会,在业内影响也日增月益。以英...司法录音检验技术的社会需求在急剧增加,而我国一些司法鉴定机构的司法录音检验业务却面临着难以为继的困局。反观英国的司法录音检验机构——J Peter French Associates(JPFA),不仅是引领国际性的研究协会,在业内影响也日增月益。以英国JPFA的机构性质、人员组成、检验范畴、收费水平等运行模式为启发,提出急需制定更加科学合理的收费标准,倡导专而精的司法录音鉴定机构,放开司法录音鉴定机构的设立条件,倡导研究型的司法录音鉴定机构等一系列改革来促进我国司法录音检验技术的进一步发展。展开更多
基金Supported by the National Natural Science Foundation of China(60474022)
文摘In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given.
文摘Valuation spaces with respect to diverse implication operators are investigated in a unified way where the Lebesgue measure is a commonly used measure, and it is proved that all the logic formulas are measurable functions with respect to popularly used implication operations. The concept of t-(α-tautology) is introduced and rules of generalized modus ponens (MP) and hypothetic syllogism (HS) are established in the sense of semantics. The concept of truth degree of a logic formula is introduced and rules of integral MP and integral HS are proposed. Finally, a kind of pseudo-metric is introduced to the set consisting of all logic formulas by establishing a universal logical metric space, making it possible to develop a new type of approximate reasoning arise.
文摘司法录音检验技术的社会需求在急剧增加,而我国一些司法鉴定机构的司法录音检验业务却面临着难以为继的困局。反观英国的司法录音检验机构——J Peter French Associates(JPFA),不仅是引领国际性的研究协会,在业内影响也日增月益。以英国JPFA的机构性质、人员组成、检验范畴、收费水平等运行模式为启发,提出急需制定更加科学合理的收费标准,倡导专而精的司法录音鉴定机构,放开司法录音鉴定机构的设立条件,倡导研究型的司法录音鉴定机构等一系列改革来促进我国司法录音检验技术的进一步发展。