机译:代数逻辑中格列文科定理的一种方法
Glivenko’s Theorem; quasivariety; algebraic semantics; equivalential deductive system; algebraizable logic; compatible expansion;
机译:代数逻辑中格列文科定理的一种方法
机译:代数逻辑中格列文科定理的一种方法
机译:代数逻辑中格列文科定理的一种方法
机译:基于强相关逻辑的前向推理在自动定理发现中测量定理的趣味性
机译:模态逻辑的有效完整性定理。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:中间谓词逻辑的Glivenko定理的简短证明