从强调句看翻译与逻辑命题的关系

机译：与一阶单声道ω-逻辑，命题线性时间时序逻辑，命题广义定义反射逻辑和命题不定式逻辑相关

机译：逻辑后果运作的属性及其与命题逻辑独立性的关系

机译：迷失在翻译中：命题逻辑中的语言独立性-应用于信念改变

机译：带有公理□_Φ↔◇_Φ的命题模态逻辑与命题逻辑之间的对应关系

机译：关于命题理论和逻辑程序的简单但困难的随机实例。

机译：人们喜欢逻辑真理：在基本命题中测试对逻辑价值的直觉检测

机译：通过翻译成经典逻辑决定直觉命题逻辑

机译：处理器验证使用有效减少未解释函数的逻辑到命题逻辑

机译：在示例的Bunchu中，乍一看，机器单词，组合语言和方言等各个元素的语法特征以及与其他语言的交叉关系，使得示例与标记和源语言的总翻译对比成为可能。您区分并使所管理的语法标准的通用标记和假名标记等成为可能，并且源语言的示例和与总翻译相结合的语言学习文本

机译：从命题逻辑证明可满足逻辑公式的加密手段

机译：逻辑关系识别装置，逻辑关系识别方法和逻辑关系识别程序