...
机译:埃瓦尔德直觉式时态逻辑的代数公理化
Heyting algebras; Tense operators; Intuitionistic logic; Intuitionistic tense logic;
机译:埃瓦尔德直觉式时态逻辑的代数公理化
机译:时态直觉逻辑的代数公理化:开放数学
机译:动态阶代数作为模态和时态逻辑的公理化
机译:直觉时态逻辑的顺序系统和代数语义
机译:单子直觉和模态逻辑承认可证明性
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:公理化直觉理论的一部分的方法(逻辑和数学基础)
机译:线性逻辑模型的代数公理化