Semantics; Algebra; Standards; Context modeling; Fuzzy logic; Syntactics; Computer science;
机译:具有常数的基于一阶t范数的模糊逻辑:杰出的语义和完整性
机译:建设性型理论分析的一阶逻辑的完整性定理
机译:后现代模糊集和模糊逻辑理论的Kabbalah逻辑和语义基础
机译:高阶模糊逻辑及其分类语义:通过副结构三斯理论的高阶线性完整性和BAAZ翻译
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:数学模糊逻辑中一阶结构类的句法表征
机译:部分超音速:部分函数逻辑和Hoare逻辑的分类模型