Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Arnon Avron' in GoogleThis author has not been identified. Look up 'Anna Zamansky' in Google

runs on WebDSL