机译:超一致逻辑的元理论的新形式化结果
Paraconsistent logicMany-valued logicFormalizationIsabelle proof assistantParaconsistency;
机译:用于线性逻辑的形式化元化学元理论
机译:子结构逻辑顺序计算的形式化元理论
机译:使用超一致性逻辑引入超一致性人工神经网络的不确定性处理
机译:在Isabelle证明助理中形式化超一致性逻辑
机译:无对角圆柱代数中的逻辑形式化
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:用于线性逻辑的形式化元化学元理论