Arnon Avron, Anna Zamansky. Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. In 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway. pages 14, IEEE Computer Society, 2007. [doi]
Abstract is missing.