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]

@inproceedings{Mihalydeak12,
  title = {Partial First-order Logic with Approximative Functors Based on Properties},
  author = {Tamás Mihálydeák},
  year = {2012},
  doi = {10.1007/978-3-642-31900-6_63},
  url = {http://dx.doi.org/10.1007/978-3-642-31900-6_63},
  researchr = {https://researchr.org/publication/Mihalydeak12},
  cites = {0},
  citedby = {0},
  pages = {514-523},
  booktitle = {Rough Sets and Knowledge Technology - 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings},
  editor = {Tian-rui Li and Hung Son Nguyen and Guoyin Wang and Jerzy W. Grzymala-Busse and Ryszard Janicki and Aboul Ella Hassanien and Hong Yu},
  volume = {7414},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31899-3},
}