机译:用于恢复古典逻辑的亚古典逻辑的模态扩展
Non-normal modal logics; paracomplete logics; paraconsistent logics;
机译:用于恢复经典逻辑的子经典逻辑的模态扩展
机译:用于恢复古典逻辑的亚古典逻辑的模态扩展
机译:模态逻辑经典系统的一阶扩展; Barcan模式的作用
机译:关于亚经典逻辑的解析后续计算的构造
机译:整合经典和直觉数学(模态逻辑)
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:双古典连接逻辑及其模态扩展:削减,完整性和二元性