Heyting-Brouwer Rough Set Logic

Seiki Akama, Tetsuya Murai, Yasuo Kudo. Heyting-Brouwer Rough Set Logic. In Van-Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh-Cuong Le, Son Bao Pham, editors, Knowledge and Systems Engineering - Proceedings of the Fifth International Conference KSE 2013, Volume 2. Volume 245 of Advances in Intelligent Systems and Computing, pages 135-145, Springer, 2013. [doi]

@inproceedings{AkamaMK13-0,
  title = {Heyting-Brouwer Rough Set Logic},
  author = {Seiki Akama and Tetsuya Murai and Yasuo Kudo},
  year = {2013},
  doi = {10.1007/978-3-319-02821-7_13},
  url = {http://dx.doi.org/10.1007/978-3-319-02821-7_13},
  researchr = {https://researchr.org/publication/AkamaMK13-0},
  cites = {0},
  citedby = {0},
  pages = {135-145},
  booktitle = {Knowledge and Systems Engineering - Proceedings of the Fifth International Conference KSE 2013, Volume 2},
  editor = {Van-Nam Huynh and Thierry Denoeux and Dang Hung Tran and Anh-Cuong Le and Son Bao Pham},
  volume = {245},
  series = {Advances in Intelligent Systems and Computing},
  publisher = {Springer},
  isbn = {978-3-319-02820-0},
}