你即將離開本站

並前往https://plato.stanford.edu/entries/negation/substructural.html

negation as a modal operator in display calculi

... \(\lhd\), as well as forward-looking unnecessity, \(\blacktriangleright\), ... relation of “exhaustiveness” used to interpret negation as unnecessity.

確定！ 回上一頁

查詢 「Unnecessity」的人也找了：

  1. unnecessities synonym
    2.
  2. unnecessity synonym
    3.
  3. is unnecessity a real word
    4.
  4. necessity中文
    5.
  5. unnecessary synonym
    6.
  6. unnecessity in a sentence
    7.
  7. unnecessary synonyms
    8.
  8. unnecessary
    9.