2018

Research Publications

• Covering-based rough sets and modal logics. Part II, (with Minghui Ma), Int. J. Approx. Reasoning 95: 113-123 (2018).

• Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic, (with Reetu Bhattacharjee and Lopamudra Choudhury), Logica Universalis, 12(1-2): 141-206 (2018).

• A Survey and Evaluation of Diagrams for Navya-Nyāya, (with Jim Burton and Lopamudra Choudhury), Diagrams 2018: 280-295 (2018).

• Spider Diagrams with Absence, (with Gem Stapleton and Lopamudra Choudhury), DMSVIVA 2018: 91-100 (2018).

• Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras, (with Minghui Ma and Zhe Lin), IJCSR 2018: 309-322 (2018).

• Decidability in Pre-rough Algebras: Extended Abstract, (with Zhe Lin and Minghui Ma), IJCSR 2018: 511-521 (2018).