Zuzana Haniková, Petr Savický. Distinguishing standard SBL-algebras with involutive negations by propositional formulas. Math. Log. Q., 54(6):579-596, 2008. [doi]
@article{HanikovaS08,
title = {Distinguishing standard SBL-algebras with involutive negations by propositional formulas},
author = {Zuzana Haniková and Petr Savický},
year = {2008},
doi = {10.1002/malq.200610057},
url = {http://dx.doi.org/10.1002/malq.200610057},
tags = { algebra},
researchr = {https://researchr.org/publication/HanikovaS08},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {54},
number = {6},
pages = {579-596},
}