Estrella RodrÃguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora. Formation of the D-basis from implicational systems using Simplification logic. Int. J. General Systems, 46(5):547-568, 2017. [doi]
@article{LorenzoACEM17,
title = {Formation of the D-basis from implicational systems using Simplification logic},
author = {Estrella RodrÃguez Lorenzo and Kira V. Adaricheva and Pablo Cordero and Manuel Enciso and Angel Mora},
year = {2017},
doi = {10.1080/03081079.2017.1349632},
url = {https://doi.org/10.1080/03081079.2017.1349632},
researchr = {https://researchr.org/publication/LorenzoACEM17},
cites = {0},
citedby = {0},
journal = {Int. J. General Systems},
volume = {46},
number = {5},
pages = {547-568},
}