The OI-Resolution of Operator Rough Logic

Qing Liu. The OI-Resolution of Operator Rough Logic. In Lech Polkowski, Andrzej Skowron, editors, Rough Sets and Current Trends in Computing, First International Conference, RSCTC 98, Warsaw, Poland, June 22-26, 1998, Proceedings. Volume 1424 of Lecture Notes in Computer Science, pages 432-435, Springer, 1998. [doi]

@inproceedings{Liu98:7,
  title = {The OI-Resolution of Operator Rough Logic},
  author = {Qing Liu},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1424/14240432.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/Liu98%3A7},
  cites = {0},
  citedby = {0},
  pages = {432-435},
  booktitle = {Rough Sets and Current Trends in Computing, First International Conference, RSCTC 98, Warsaw, Poland, June 22-26, 1998, Proceedings},
  editor = {Lech Polkowski and Andrzej Skowron},
  volume = {1424},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64655-8},
}