共 50 条
- [2] Implicational completeness of signed resolution AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 167 - 174
- [4] An Extensional Signed Fuzzy Measure of Signed Rho-Fuzzy Measure COMPUTATIONAL COLLECTIVE INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS, PT I, 2010, 6421 : 509 - 519
- [8] BOUNDARY METHODS - A CRITERION FOR COMPLETENESS PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA-PHYSICAL SCIENCES, 1980, 77 (08): : 4395 - 4398