机译:插值和精心设计的逻辑中的投影Beth属性
Beth definability; interpolation; well-composed J-logic;
机译:插值和精心设计的逻辑中的投影Beth属性
机译:正和相关逻辑中的投射贝斯性质和插值
机译:精心设计的J逻辑中克雷格插值性质的可判定性
机译:Projective Beth在模态逻辑K4的无限切片扩展中的属性
机译:康德理论和实践项目中的先验逻辑和情态。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:插值和贝斯在多值逻辑中的属性:代数研究
机译:用于低功耗移动应用项目的高级逻辑综合组合逻辑综合研究报告