%0 Journal Article %1 journals/mlq/ChvalovskyC12 %A Chvalovský, Karel %A Cintula, Petr %D 2012 %J Math. Log. Q. %K dblp %N 3 %P 236-243 %T Note on Deduction Theorems in contraction-free logics. %U http://dblp.uni-trier.de/db/journals/mlq/mlq58.html#ChvalovskyC12 %V 58

@article{journals/mlq/ChvalovskyC12, added-at = {2012-06-25T00:00:00.000+0200}, author = {Chvalovský, Karel and Cintula, Petr}, biburl = {https://www.bibsonomy.org/bibtex/29ff8c9398495165bd6337a8f9ba98e58/dblp}, ee = {http://dx.doi.org/10.1002/malq.201110065}, interhash = {24684fd072d9c3fae13923a0efdb7a36}, intrahash = {9ff8c9398495165bd6337a8f9ba98e58}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 3, pages = {236-243}, timestamp = {2012-06-26T11:36:58.000+0200}, title = {Note on Deduction Theorems in contraction-free logics.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq58.html#ChvalovskyC12}, volume = 58, year = 2012 }