机译:关于赋集函子的表达共代数逻辑的一个注记
Department of Mathematics, Indiana University, Bloomington, IN 47405, USA;
机译:终集合函子的代数中行为对等的完整逻辑
机译:弱表达的代数模态逻辑的双仿真
机译:代数模态逻辑的可表达性:极限和超越
机译:完备集合函子的代数中行为对等的完整逻辑
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:关于有限集合函数的表达式代数逻辑的一个注记
机译:meal机器的代数逻辑与综合