Quantifier Elimination and Other Model−Theoretic Properties of BL−Algebras
T Cortonesi‚ E Marchioni and F Montagna
ISSN
0029−4527
Journal
Notre Dame Journal of Formal Logic
Month
Jul
Pages
339–379
Volume
52
Year
2011
T Cortonesi‚ E Marchioni and F Montagna