机译:具有边界证明性质的一步式Heyting代数和超继代数
Univ Amsterdam, Inst Log Language & Computat, POB 94242, NL-1090 GE Amsterdam, Netherlands;
Univ Milan, Dept Math, Via C Saldini 50, I-20133 Milan, Italy;
Univ Amsterdam, Inst Log Language & Computat, POB 94242, NL-1090 GE Amsterdam, Netherlands;
Intermediate logics; hypersequent calculi; bounded proof property; finite model property; finite duality;
机译:无限值的一阶?UKASiewicz逻辑:HyperseChequent Calculi没有结构规则和证明Prenex形式中的句子
机译:有界Kripke模型的某些中间逻辑的超后续计算
机译:通过阶代数和阶框架的有界证明性质
机译:通过Hypersequents进行非经典逻辑的有界顺序计算
机译:Heyting代数和分布格的可计算性。
机译:约旦代数上的恒等性证明
机译:一些具有有界Kripke模型的中间逻辑的夸张结石