罗瑟，J.B。;A.R.特奎特。 （m）值命题演算的公理方案。 （英语） Zbl 0063.06587号 J.塞姆。日志。 10, 61-82 (1945). 摘要：在（m）值命题演算或这种演算的形式化中，真值函数可以取任何真值（t），其中\（1 \leq t \leq m）和\（m \geq 2 \）。在处理此类计算或其形式化时，已决定区分可证明公式所需的真实值和可证明公式不需要的真实值。第一类真值被称为指定值，第二类真值被称为未指定值。指定的某些（m）真值和未指定的其余值的这种说明是（m）值命题演算的区别特征之一，一开始应该注意到两个（m）-有值命题演算被认为是不同的，即使它们只在被指定的真值的数量上不同。 引用于1审查引用于37文件 MSC公司： 03B05号 经典命题逻辑 关键词：\（m）值命题演算;形式化;真值函数;指定和未指定的真值 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Rosser}和\textit{A.R.Turkette}，J.Symb。日志。10，61-82（1945年；兹bl 0063.06587） 全文： 内政部 参考文献： [1] 内政部：10.1007/BF01475439·JFM 53.0041.02号文件 ·doi:10.1007/BF01475439 [2] 《社会科学与瓦尔索维通讯》第29页第9页–（1936年） [3] Ruch filozoficzny 5第169页–（1920） [4] 《社会科学与瓦尔索维通讯》第24卷第259页–（1931年） [5] 《社会科学与瓦尔索维通讯》第23页第30页–（1930年） [6] 内政部：10.2307/2370324·JFM 48.1122.01标准 ·doi:10.2307/2370324 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。