机译:连续谓词模态逻辑的完整性定理
Univ Trento Dipartimento Matemat Via Sommar 14 I-38123 Povo TN Italy;
Predicate logic; Continuous logic; Modal logic;
机译:连续谓词模态逻辑的完整性定理
机译:一阶谓词逻辑的语义完整性和弱扇定理
机译:经典谓词逻辑的直觉完备性定理
机译:具有两层语法的不确定性的模态逻辑:一般完整性定理
机译:模态逻辑的有效完整性定理。
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:缩回文章:连续谓词模态逻辑的完整性定理