Francisco M. García Olmedo, Antonio J. Rodríguez Salas. Negation and BCK-algebras. Math. Log. Q., 49(4):336-346, 2003. [doi]
@article{OlmedoS03, title = {Negation and BCK-algebras}, author = {Francisco M. García Olmedo and Antonio J. Rodríguez Salas}, year = {2003}, doi = {10.1002/malq.200310035}, url = {http://dx.doi.org/10.1002/malq.200310035}, tags = { algebra}, researchr = {https://researchr.org/publication/OlmedoS03}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {49}, number = {4}, pages = {336-346}, }