机译:一些弱的基于经典的超常逻辑的可能翻译语义
Department of Informatics and Applied Mathematics, UFRN, BR Security and Quantum Information Group, IT, PT;
possible-translations semantics; paraconsistent logics; truth-functionality;
机译:一阶四值,弱超一致逻辑及其与粗糙集语义的关系
机译:基于超一致逻辑的语义信息理论消除Bar-Hillel-Carnap悖论
机译:可判定的超一致相关逻辑:Gentzen系统和Routley-Meyer语义
机译:语义网络中的逻辑逻辑的准古典语义和Tableau微积分
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:健康的右撇子儿童语义语言偏向性较弱语义语言性能更好
机译:一些基于弱经典的次协调逻辑的可能翻译语义