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]
Abstract is missing.