Universita Roma Tre Rome Italy;
Inria Saclay Palaiseau France;
Combinatorial proofs; Relevant logic; Entailment logic; Skew fibrations; Proof theory;
机译:两个可变逻辑小型模型属性的简单组合证明
机译:三输入AND-INHIBIT-OR组合逻辑门阵列的原理证明
机译:由笑脸矩阵为Anderson和Belnap的一级蕴涵逻辑确定的逻辑
机译:关于相关性与素质逻辑的组合证明
机译:蕴涵,蕴含和替代逻辑。
机译:RET支持的逻辑门组合库可实现智能逻辑功能的建模和实现
机译:关于相关性与素质逻辑的组合证明