| 释义 |
pluri-valued, a. Logic.|plʊərɪˈvæljuːd|
Also plurivalued.
[f. pluri- + valued ppl. a.]
Of a system of logic: using truth values in addition to those of true and false; many-valued.
1939R. Carnap Found. Logic & Math. in Internat. Encycl. Unified Sciences I. iii. §12. 28 The systems of plurivalued logic as constructed by Lukasiewicz and Tarski, etc. 1949A. Pap Elements Anal. Philos. v. 105 Is it possible to construct a logic which does not assume that every proposition is either true or false (‘pluri⁓valued logic’)? 1969N. Rescher Many-Valued Logic i. 10 Two interesting procedures for creating new pluri⁓valued logics out of old ones—the methods of system extension and of forming the product of two systems—have been devised by Stanislaw Jaśkowski. Ibid. ii. 83 The prospect remains that two-valued logic is somehow fundamental to the construction of all systems of pluri⁓valued logic in general. |