Norihiro Kamide. Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. Int. J. Software and Informatics, 9(1):73-92, 2015. [doi]
@article{Kamide15-5,
title = {Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic},
author = {Norihiro Kamide},
year = {2015},
url = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i204},
researchr = {https://researchr.org/publication/Kamide15-5},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {9},
number = {1},
pages = {73-92},
}