机译:格子逻辑作为(2分类)剩余模态逻辑的一部分
Department of Computer Science and Engineering, University of Applied Sciences of Thessaly (TEl of Thessaly), Thessaly, Greece;
Non-classical logics; non-distributive logics; modal logics; multi-modal logics; Goedel-Tarski translation;
机译:有限余格上的最小多值模态逻辑
机译:拟合格子值逻辑与晶格值模态逻辑代数的分类研究
机译:基于分配涉及遗漏格子的正式不一致的逻辑
机译:剩余De Morgan格上模糊描述逻辑的Tableau算法。
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:剩余格
机译:在两个否定的碎片上,没有遗漏格子逻辑的逻辑