DI Univ. degli Studi di Milano Via Comelico 39 20135 Milano Italy;
DiSTA Univ. degli Studi dell'Insubria Via Mazzini 5 21100 Varese Italy;
机译:远期驳斥的不可行能力与可释放之间的二元性 - 搜索Lntuitionistic命题逻辑
机译:用直觉命题逻辑扩展的Lambek微积分
机译:命题直觉逻辑的表格演算,对嵌套含义进行了精细处理
机译:直接突出逻辑的前瞻性无法动力结石
机译:模态和直觉性命题的片段。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:远期驳斥的无法潜在和可释放之间的二元性 - 搜索直觉的命题逻辑