机译:部分谓词的Floyd-Hoare逻辑扩展的推理系统
机译:通过简化为Kleene逻辑证明具有部分函数的古典逻辑的定理
机译:两种量子逻辑方法的统一:每个Birkhoff – von Neumann量子逻辑都是部分无穷大的Łukasiewicz逻辑
机译:一阶类型的模糊逻辑及其分类语义:线性完备性和基于Lawvere超学说的Baaz翻译
机译:面向状态的偏序模型和逻辑,用于分布式系统验证。
机译:RET支持的逻辑门组合库可实现智能逻辑功能的建模和实现
机译:用Kleene逻辑简化证明具有部分函数的经典逻辑的定理
机译:部分函数逻辑的语义模型