Yingcang Ma, Qiaoyan Li. A Propositional Deductive System Of Universal Logic with Projection Operator. In Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China. pages 996-998, IEEE Computer Society, 2006. [doi]
@inproceedings{MaL06:2,
title = {A Propositional Deductive System Of Universal Logic with Projection Operator},
author = {Yingcang Ma and Qiaoyan Li},
year = {2006},
doi = {10.1109/ISDA.2006.77},
url = {http://doi.ieeecomputersociety.org/10.1109/ISDA.2006.77},
tags = {logic},
researchr = {https://researchr.org/publication/MaL06%3A2},
cites = {0},
citedby = {0},
pages = {996-998},
booktitle = {Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-2528-8},
}