机译:用于恢复经典逻辑的子经典逻辑的模态扩展
Department of Philosophy—IFCH andCentre for LogicEpistemology and the History of Science (CLE) State University of Campinas (UNICAMP)">(1);
Department of Philosophy—IFCH andCentre for LogicEpistemology and the History of Science (CLE) State University of Campinas (UNICAMP)">(1);
Non-normal modal logics; paraconsistent logics; paracomplete logics;
机译:用于恢复古典逻辑的亚古典逻辑的模态扩展
机译:亚经典布尔束逻辑和Par的含义
机译:模态逻辑经典系统的一阶扩展; Barcan模式的作用
机译:关于亚经典逻辑的解析后续计算的构造
机译:整合经典和直觉数学(模态逻辑)
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:次经典布尔束成逻辑与par的意义