Proof Systems for 3-valued Logics Based on Gödel's Implication ... 中引入的,作为基于Gödel三值矩阵的超一致逻辑,但将Kleene-Łukasiewicz的求反 ...
確定! 回上一頁