First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach

Tamás Mihálydeák. First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach. In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. pages 132-137, IEEE, 2014. [doi]

Authors

Tamás Mihálydeák

This author has not been identified. Look up 'Tamás Mihálydeák' in Google