...
机译:模拟逻辑的模态翻译
Computer Science and Engineering University of Thessaly Volos Greece;
Gödel translation; substructural logics; non-distributive logics; representation of lattice expansions; sorted modal logic;
机译:子构造谓词逻辑中的Glivenko定理和否定翻译
机译:子构造谓词逻辑中的Glivenko定理和否定翻译
机译:用于子结构和模态逻辑的振动框架
机译:高阶模糊逻辑及其分类语义:通过副结构三斯理论的高阶线性完整性和BAAZ翻译
机译:Gersonides的逻辑:对某些文档的分析,带有部分版本和“正确的三段论书”(犹太语,情态)的翻译。
机译:几何非线性多体系统的一种模态导数增强鲁宾子构造方法
机译:模拟逻辑的模态翻译