Stefano Aguzzoli and Simone Bova

Recent Publications

Schauder Hats for the Two-Variable Fragment of BL
Stefano Aguzzoli and Simone Bova
40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010, pages 27-32, 2010.
Cite
The free n-generated BL-algebra
Stefano Aguzzoli and Simone Bova
Ann. Pure Appl. Logic, volume 161, number 9, pages 1144-1170, 2010.
Cite