机译:直觉双直觉网络
Laboratoire de l'Informatique du Parallelisme,ENS Lyon - Universite de Lyon, UMR 5668 CNRS ENS-Lyon UCBLINRIA,46, allee d'Italie, 69364 Lyon cedex 07, France;
classical logic; intuitionistic logic; computational duality; proof-nets;
机译:双重直觉逻辑的自然演绎
机译:双重直觉逻辑的自然演绎
机译:关于双重直觉逻辑的注释
机译:直观模糊广义净模型,描述直觉模糊广义网模型的培训过程
机译:单子直觉和模态逻辑承认可证明性
机译:直觉模糊循环和直觉模糊树
机译:直觉的双直觉网络