by Stefano Aguzzoli, Simone Bova
Reference:
Schauder Hats for the Two-Variable Fragment of BLStefano Aguzzoli, Simone Bova40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010, pages 27–32, 2010.
Bibtex Entry:
@inproceedings{AguzzoliBova10b,
author = {Stefano Aguzzoli and
Simone Bova},
title = {Schauder Hats for the Two-Variable Fragment of {BL}},
booktitle = {40th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2010, Barcelona, Spain, 26-28 May 2010},
pages = {27--32},
year = {2010}
}