lambda calculus; formal logic; recursive functions; set theory; typed lambda-calculus; FPC; operational semantics; recursive types; denotational models; intuitionistic set theory;
机译:直觉模糊集理论在理论建模不精确性框架中的地位
机译:通过直觉理论绕道而行的新模型构造I:无选择的操作集理论是Pi(1)等效于KP
机译:嵌套可实现性子对象中的直觉集合论模型
机译:直觉集理论模型中递归类型的计算充足
机译:具有可预测的绑定预测的正式直觉集合论。
机译:基于累积前景理论的扩展FMEA模型和铁路列车风险优先级的2型直觉模糊Vikor
机译:直觉集理论模型中递归类型的计算充分性
机译:基于直觉和粗糙集理论的数据库设计不确定性建模