Mathematics Department Siena University via del Capitano 15, Siena, Italy;
non-classical logic; logic programming; many-valued logic; deductive databases;
机译:缓慢的双重否定作为古典和直觉否定
机译:超一致双重否定作为模态运算符
机译:超一致性逻辑和直觉否定的弱化
机译:作为有限衰竭的否定是滞假的
机译:自然和诱导破坏的应力驱动岩石边坡破坏的渗流耦合有限元分析
机译:由有限混合物建模和动态治疗方案正式的急性呼吸衰竭的个性化机械动力通风策略
机译:图书评论:Carnielli,W.,Coniglio,M. Paraconsistent Logic:一致性,矛盾和否定。逻辑,认识论和科学系列的统一。 (纽约:2016年Springer,2016.Sisn:2214-9775。)