These are the non-normal worlds. The idea was genera- lised by Routley and Meyer in their semantics for relevant logics (to be found, e.g., in [8]).
確定! 回上一頁