%0 Journal Article %1 journals/chinaf/PanMX13 %A Pan, Xiaodong %A Meng, Dan %A Xu, Yang %D 2013 %J Sci. China Inf. Sci. %K dblp %N 8 %P 1-12 %T Syntax theory of finite lattice-valued propositional logic. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf56.html#PanMX13 %V 56

@article{journals/chinaf/PanMX13, added-at = {2020-03-02T00:00:00.000+0100}, author = {Pan, Xiaodong and Meng, Dan and Xu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2b96e6aaaa502c532f77daad049d38272/dblp}, ee = {https://doi.org/10.1007/s11432-012-4580-0}, interhash = {f7a4dda13624ec12991a84743e0e22d7}, intrahash = {b96e6aaaa502c532f77daad049d38272}, journal = {Sci. China Inf. Sci.}, keywords = {dblp}, number = 8, pages = {1-12}, timestamp = {2020-03-03T11:54:35.000+0100}, title = {Syntax theory of finite lattice-valued propositional logic.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf56.html#PanMX13}, volume = 56, year = 2013 }