Zobrazeno 1 - 2
of 2
pro vyhledávání: '"WANGBo(王波)"'
Publikováno v:
Zhejiang Daxue xuebao. Lixue ban, Vol 49, Iss 5, Pp 521-526 (2022)
命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL∀中,利用公理化方法提出了MTL∀公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时
Externí odkaz:
https://doaj.org/article/0e3b0d0968e94ec7bada2c649d7907ed
Publikováno v:
Zhejiang Daxue xuebao. Lixue ban, Vol 39, Iss 1, Pp 56-59 (2012)
报道用新的催化剂合成紫罗兰酮.用CH3ONa作固体碱催化剂催化柠檬醛与丙酮的Aldol缩合反应,在50〜60℃反应3. 5 h,以95. 3%的收率制得假性紫罗兰酮,然后假性紫罗兰酮在磷酸催化下进行关环反
Externí odkaz:
https://doaj.org/article/610c43d9dbd24ab4984a3903f935f2c1