%0 Journal Article %1 journals/mlq/Rose87 %A Rose, Alan %D 1987 %J Math. Log. Q. %K dblp %N 2 %P 187-192 %T A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus. %U http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Rose87 %V 33

@article{journals/mlq/Rose87, added-at = {2016-11-30T00:00:00.000+0100}, author = {Rose, Alan}, biburl = {https://www.bibsonomy.org/bibtex/28e2391ad1555f86a86f8c0c7a9cba55a/dblp}, ee = {http://dx.doi.org/10.1002/malq.19870330214}, interhash = {7a7c25b73c298809cfb694636a106031}, intrahash = {8e2391ad1555f86a86f8c0c7a9cba55a}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 2, pages = {187-192}, timestamp = {2016-12-01T11:34:12.000+0100}, title = {A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Rose87}, volume = 33, year = 1987 }