机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
general semantics of substructural logics; meta deduction relation; deductive filter; primeness; Stone’s sheaf representation; site; stalker; meaning of connectives;
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:直觉分层图逻辑:语义和证明理论
机译:超结果与直觉模糊逻辑的证明理论
机译:Al-Sirafi的“语言学”语法理论:在对中世纪伊斯兰语言和逻辑的讨论中,对Al-Sirafi(Sharh&dotbelow; Kitab Sibawayhi)的语法工作进行的分析研究。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:直觉逻辑的证明实现