“partial logic”的概念、定义、翻译、参考文献-科学参考

partial logic

Logic

Describes semantic approaches to formulae judged as neither true nor false (for reason of being meaningless, containing nondenoting singular terms, etc.) that treats them as undefined with respect to partial functions rather than subsuming them under a novel truth value. The difference between a partial logic approach to a formula $φ$ evaluated as a truth value gap and a three-valued approach is that the valuations of partial logic are literally undefined in the case of $φ$ , while the valuations in a three-valued approach are total functions to a set of three truth values.

单词	partial logic
释义	partial logic Logic Describes semantic approaches to formulae judged as neither true nor false (for reason of being meaningless, containing nondenoting singular terms, etc.) that treats them as undefined with respect to partial functions rather than subsuming them under a novel truth value. The difference between a partial logic approach to a formula $φ$ evaluated as a truth value gap and a three-valued approach is that the valuations of partial logic are literally undefined in the case of $φ$ , while the valuations in a three-valued approach are total functions to a set of three truth values.
随便看	file manager file mark file name file organization file protection file recovery file server file signature file system file transfer File Transfer Protocol file transfer protocol file updating filibusters Filicopsida filiform filigree filière fill area primitive fill character filled aperture filled-centre supernova remnant filler filling Fillmore, Millard (1800–74)