...
机译:四价模态逻辑的抽象代数逻辑方法
abstract logic; generalized matrix; tetravalent modal algebra; four-valued modal algebra; De Morgan algebra; three-valued Lukasiewicz algebra; four-valued logic; modal logic; algebraizable logic; full model; strongly adequate Gentzen calculus;
机译:四价模态逻辑的抽象代数逻辑方法
机译:隐藏的k逻辑的行为等价关系:一种抽象的代数方法
机译:用模态扩展Łukasiewicz逻辑:关系语义的代数方法
机译:格值逻辑和格值模态逻辑的代数研究
机译:抽象逻辑和一阶逻辑的扩展
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:四价模态代数的两个逻辑的希尔伯特风格表示
机译:模态逻辑的代数