机译:Dunn-Belnap逻辑的正常和自我延伸延伸
Tel Aviv Univ Sch Comp Sci Tel Aviv Israel;
Four-valued logics; Paraconsistent logics; Self-extensionality;
机译:Dunn-Belnap逻辑的正常和自我延伸延伸
机译:用于计算一阶逻辑扩展的Gaifman范式
机译:模态逻辑的构造分类和最小逻辑的扩展
机译:关于Adron的自我延伸四维ParadeFinite逻辑的注意事项
机译:免剪裁的Gentzen风格的系统,用于S4和中间逻辑的某些常规扩展
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:在逻辑广场和反对六角形建模的哲学认识论公理系统中综合正常和非正常模态逻辑