Tamás Kádek, Tamás Mihálydeák. Some Fundamental Laws of Partial First-Order Logic Based on Set Approximations. In Chris Cornelis, Marzena Kryszkiewicz, Dominik Slezak, Ernestina Menasalvas Ruiz, Rafael Bello, Lin Shang, editors, Rough Sets and Current Trends in Soft Computing - 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings. Volume 8536 of Lecture Notes in Computer Science, pages 47-58, Springer, 2014. [doi]
Abstract is missing.