共 50 条
- [21] Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness Archive for Mathematical Logic, 2023, 62 : 67 - 86
- [23] COMPLETENESS RELATIONS AND RESONANT STATE EXPANSIONS PHYSICAL REVIEW C, 1993, 47 (05): : 1903 - 1920
- [24] COMPLETENESS AND STRONG COMPLETENESS IN LOCALLY CONVEX SPACES JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1969, 1 (4P4): : 767 - &
- [25] N COMPLETENESS, N REPRESENTABILITY, AND GEMINAL EXPANSIONS PHYSICAL REVIEW A-GENERAL PHYSICS, 1972, 5 (03): : 1336 - &
- [26] A FREE IPC IS A NATURAL LOGIC - STRONG COMPLETENESS FOR SOME INTUITIONISTIC FREE LOGICS TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1982, 1 (1-2): : 30 - 43
- [28] On the finite strong completeness of NML Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2010, 38 (06): : 1414 - 1418
- [30] A STRONG COMPLETENESS THEOREM FOR PRAGMATICS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (02): : 151 - 160