1) dual quantale quotient
对偶quantale商
1.
Using the notions of quantale nucleus operator and quantale co nucleus operator, the complete constructions of dual quantale quotients and some special open modalities for any given quantale are given.
利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 。
2) dual quantale
对偶quantale
1.
The Par Operation and Its Properties of Dual Quantale
对偶Quantale上的Par运算及其性质
2.
The semantics of this logic in showing its soundness and completeness by dual quantales is given.
Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 。
3.
The notion of dual quantale is introduced,the properties and constructions of dual quantales are studied.
提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 。
4) Quantic Quotient
Quantale商
1.
Simple Quantale and Its Quantic Quotient;
单纯Quantale及其Quantale商
6) Involutive Quantale
对合Quantale
1.
The Inverse System of the Category of Involutive Quantales;
对合Quantale范畴的逆系统
2.
The Relation of Involution and Special Elements in Involutive Quantales;
对合Quantale中对合运算与特殊元的关系
3.
The Limit of the Category of Involutive Quantales;
对合Quantale范畴的极限
补充资料：保险商实验室安全标准(见保险商实验室)
保险商实验室安全标准(见保险商实验室)
safety standards of UL: see Underwriters Laboratories; UL
Baoxianshang Sh啊nshi anquan bicozhun保险商实验室安全标准(saJ七ty stand助dsofUL)见保险商实脸室。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条