机译:结合经典与超一致否定的证明系统
机译:缓慢的双重否定作为古典和直觉否定
机译:超一致性逻辑和直觉否定的弱化
机译:计算树逻辑中的滞后否定与古典否定
机译:用于配备电子制动器的拖车的模糊逻辑防抱死制动系统。
机译:通过具有分散体的量子系统的集合的相干动态尺寸的巨大平行古典逻辑
机译:图书评论:Carnielli,W.,Coniglio,M. Paraconsistent Logic:一致性,矛盾和否定。逻辑,认识论和科学系列的统一。 (纽约:2016年Springer,2016.Sisn:2214-9775。)