机译:用真常数扩展t范数的命题逻辑:有理语义的完整性结果
Mathematical fuzzy logic; Left; continuous t; norms; T; norm based logics; Truth; constants; Evaluated formulae; Real and rational completeness;
机译:用真常数扩展t范数的命题逻辑:有理语义的完整性结果
机译:具有常数的基于一阶t范数的模糊逻辑:杰出的语义和完整性
机译:向连续t范数的逻辑中添加真常数:公理化和完整性结果
机译:在完整性结果,展开与一些谓词模糊逻辑的真实常量
机译:一个完整模式的主张与探索战略资源效用
机译:关于左连续t范和右连续t范式的逻辑
机译:向连续t范数的逻辑中添加真常数:公理化和完整性结果
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义