机译:一类Kleene强的逻辑的偶然扩展,一个子类,通过Lukasiewicz的3值逻辑L3的预整来展示功能完整
机译:Belnap-Dunn语义用于带有两个指定值的Kleene强三值矩阵的自然隐式展开
机译:Kleene强三值矩阵Ⅱ的自然隐式展开的Belnap-Dunn语义。仅一个指定值
机译:用于三值逻辑的Gentzen型引用系统及其在证明强等价性上的应用
机译:在基于事件的分布式系统中,高效的汇总交付具有强大的保证。
机译:基于完全线粒体基因组的核苷酸含量关系中自然选择的证据:鸟嘌呤含量对陆生和水生脊椎动物分离的强烈影响
机译:Belnap-Dunn用于克莱恩斯强大的三价矩阵的自然偶然扩展,具有两个指定值
机译:基于VmE的系统集成的强分区协议