Norihiro Kamide. Completeness of Subtrilattice Logic. In 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020. pages 279-284, IEEE, 2020. [doi]
@inproceedings{Kamide20a-0,
title = {Completeness of Subtrilattice Logic},
author = {Norihiro Kamide},
year = {2020},
doi = {10.1109/ISMVL49045.2020.00059},
url = {https://doi.org/10.1109/ISMVL49045.2020.00059},
researchr = {https://researchr.org/publication/Kamide20a-0},
cites = {0},
citedby = {0},
pages = {279-284},
booktitle = {50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020},
publisher = {IEEE},
isbn = {978-1-7281-5406-0},
}