%0 Journal Article %1 journals/mvl/ZhangZ03 %A Zhang, Wen-Ran %A Zhang, Lulu %D 2003 %J J. Multiple Valued Log. Soft Comput. %K dblp %N 3 %P 241-256 %T Soundness and Completeness of a 4-Valued Bipolar Logic. %U http://dblp.uni-trier.de/db/journals/mvl/mvl9.html#ZhangZ03 %V 9

@article{journals/mvl/ZhangZ03, added-at = {2020-04-02T00:00:00.000+0200}, author = {Zhang, Wen-Ran and Zhang, Lulu}, biburl = {https://www.bibsonomy.org/bibtex/2a58daa34dd45a92b79eb3a83b603c8f8/dblp}, ee = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-9-number-3-2003/mvlsc-9-3-p-241-256/}, interhash = {17674b56a0d6fc2ba3b0e0cbbc2c4ef2}, intrahash = {a58daa34dd45a92b79eb3a83b603c8f8}, journal = {J. Multiple Valued Log. Soft Comput.}, keywords = {dblp}, number = 3, pages = {241-256}, timestamp = {2020-04-03T11:38:32.000+0200}, title = {Soundness and Completeness of a 4-Valued Bipolar Logic.}, url = {http://dblp.uni-trier.de/db/journals/mvl/mvl9.html#ZhangZ03}, volume = 9, year = 2003 }