哪吒机器人提醒：
提醒：Microsoft Research Publications
【标题】Transitive primal infon logic
【摘要】primal (propositional) logic pl is the {∧,→} fragment of intuitionistic logic, and primal (propositional) infon logic pil is a conservative extension of pl with the quotation construct psaid. logic pil was introduced by gurevich and neeman in 2009 in connection with the dkal project. the derivation problem for pil (and therefore for pl) is solvable in linear time, and yet pil allows one to express many common access control scenarios. the most obvious limitation on the expressivity of logic pl i... (02-09 17:34)
手机哪吒网 m.iNezha.com 有人网