共 15 条
[1]
[Anonymous], 2009, Introduction to Mathematical Logic and Resolution Principle
[3]
Chang C.C, 1958, T AM SOC, V87, P1
[4]
Dumitru B., 2014, SOFT COMPUT, V18, P825
[6]
HAJEK P., 1998, TRENDS LOGIC STUDIA, V4
[7]
Kondo M, 2010, ADV INTEL SOFT COMPU, V68, P343
[8]
[刘春辉 Liu Chunhui], 2015, [高校应用数学学报. A辑, Applied Mathematics. A Journal of Chinese Universities], V30, P445
[10]
FUZZY LOGIC .2. ENRICHED RESIDUATED LATTICES AND SEMANTICS OF PROPOSITIONAL CALCULI
[J].
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK,
1979, 25 (02)
:119-134