机译:有限余格上的最小多值模态逻辑
Institut d'Investigacid en Intel.ligencia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain;
Institut d'Investigacid en Intel.ligencia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain;
Institut d'Investigacid en Intel.ligencia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain;
Dpto. de Computation, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1428 Buenos Aires, Argentina;
many-valued modal logic; modal logic; many-valued logic; fuzzy logic; substructural logic;
机译:格子逻辑作为(2分类)剩余模态逻辑的一部分
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:有限MTL链上多值模态逻辑中的Lindstrom定理
机译:关于带有t模合的完全残差的多值逻辑
机译:在计算剩余近似和小宽度有限格子的结构时。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:关于有限残值格上的最小多值模态逻辑