共 37 条
- [1] THE PROBLEM OF QUANTIFICATIONAL COMPLETENESS AND THE CHARACTERIZATION OF ALL PERFECT QUANTIFIERS IN 3-VALUED LOGICSZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (01): : 19 - 29CARNIELLI, WA
- [2] ON PERMUTATIONAL COMPLETENESS IN 2-VALUED AND 3-VALUED LOGICSPROCEEDINGS OF THE INSTITUTE OF MATHEMATICS AND MECHANICS, 2005, 23 (31): : 91 - 94Mirzoyev, Rafiq J.Sharifov, Talib K.
- [3] NATURAL 3-VALUED LOGICS - CHARACTERIZATION AND PROOF THEORYJOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) : 276 - 294AVRON, A
- [4] A FAMILY OF 3-VALUED AUTOEPISTEMIC LOGICSLECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 549 : 28 - 37BONATTI, PA
- [5] AXIOMATIZATION OF SOME 3-VALUED LOGICSNAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1971, (11): : 16 - &FINN, VK
- [7] COMPLETENESS OF SETS OF 3-VALUED SHEFFER FUNCTIONSZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (06): : 481 - 483ROSE, A
- [9] SOME REMARKS ON THE INTERPRETATION OF 3-VALUED LOGICSRATIO-NEW SERIES, 1980, 22 (01): : 52 - 60CLEAVE, JP