Partial First-order Logic with Approximative Functors Based on Properties

Tamás Mihálydeák. Partial First-order Logic with Approximative Functors Based on Properties. In Tian-rui Li, Hung Son Nguyen, Guoyin Wang, Jerzy W. Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu, editors, Rough Sets and Knowledge Technology - 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings. Volume 7414 of Lecture Notes in Computer Science, pages 514-523, Springer, 2012. [doi]

Abstract

Abstract is missing.