|
| |
|
| A271219型 |
| P（En）x En*的反链的数目n，按字典顺序排序，其中En是由n个元素组成的偏序集，没有一对元素被排序，而En*则是用比其他所有元素都小的第（n+1）个元素来扩充同一集合。 |
|
0
|
| |
|
|
|
抵消
|
0.2个
|
|
|
评论
|
更有趣的是，这个序列是（n+2）值逻辑中逻辑结果关系的数量，中间值（即除0和1以外的值）之间没有顺序，它们是真值函数，与二价命题和值单调的标准逻辑推论关系相同（如果该关系成立，则保留较强的前提和/或较弱的结论）。见下文参考。
在所有真值严格排序的n值逻辑中，具有相同属性的逻辑结果关系的数量更为标准，它对应于：A030662号它满足与此序列相同的定义，只是En现在应该被理解为n个元素的有序集合。
|
|
|
链接
|
E.Chemla、P.Egré和B.Spector，多值逻辑中逻辑结果的表征《逻辑与计算》的CNRS/ENS.J.女士将出席（2016年）。
|
|
|
交叉参考
|
|
|
|
关键字
|
非n,更多
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
|
