...
机译:近似和强蕴涵的逻辑
IIIA-CSIC, 08193 Bellaterra, Spain;
IIIA-CSIC, 08193 Bellaterra, Spain;
University of Buenos Aires, 1428 Buenos Aires, Argentina;
Johannes Kepler University Linz, Altenberger Strasse 69, 4040 Linz, Austria;
non-classical logics; similarity-based reasoning; approximate entailment; strong entailment;
机译:Quasimetric和公制空间中近似素质的逻辑
机译:话语有序宇宙中近似蕴涵的逻辑
机译:话语有序宇宙中的近似蕴涵逻辑
机译:在经典命题逻辑中减少逻辑程序的强烈对等
机译:蕴涵,蕴含和替代逻辑。
机译:拟度量空间和度量空间中的近似蕴涵逻辑
机译:近似和强蕴涵的逻辑