The semantics we have developed were found to correspond to an already known system, which we call here RMI⥲. Its axioms are the implication-negation ...
確定! 回上一頁