4 resultados para logical semantics
em Chinese Academy of Sciences Institutional Repositories Grid Portal
Resumo:
本文首先介绍了文献[1]给出的基于空值完全语义的五值逻辑(5VL),定义了基于5VL的比较运算和逻辑运算的运算规则,并以此为基础结出了一般条件表达式下选择运算的处理策略和实现算法。