Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency | IEEE Conference Publication | IEEE Xplore
  翻译: