The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
Bookmark and Share
FIRST-ORDER FORMAL SYSTEM K* AND ITS COMPLETENESS
Author(s): 
Pages: 675-684
Year: Issue:  6
Journal: CHINESE ANNALS OF MATHEMATICS,SERIES A

Keyword:  模糊逻辑一阶谓词演算形式系统K*Ro代数完备性;
Abstract: 模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.
Related Articles
No related articles found