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]
@inproceedings{AvronZ07, title = {Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency}, author = {Arnon Avron and Anna Zamansky}, year = {2007}, doi = {10.1109/ISMVL.2007.38}, url = {http://dx.doi.org/10.1109/ISMVL.2007.38}, tags = {logic}, researchr = {https://researchr.org/publication/AvronZ07}, cites = {0}, citedby = {0}, pages = {14}, booktitle = {37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-2831-1}, }