机译:语义上一阶谓词模糊逻辑的算术复杂度
Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy;
Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy;
arithmetical complexity; core fuzzy logics; finite-chain semantics; first-order predicate fuzzy logics; mathematical fuzzy logic; rational semantics; standard semantics;
机译:模糊谓词逻辑的算术复杂度-调查II
机译:突出的模糊谓词逻辑的片段的算术复杂度
机译:模糊谓词逻辑的算术复杂度-调查
机译:一类模糊纯谓词逻辑编程语言的语义
机译:用定义,算术和有限域进行一阶逻辑的证明
机译:数学模糊逻辑中一阶结构类的句法表征
机译:一阶谓词模糊逻辑在辨别语义上的算术复杂性
机译:一阶谓词逻辑模型理论及相关时态逻辑