Franco Montagna. Notes on Strong Completeness in Lukasiewicz, Product and ::::BL:::: Logics and in Their First-Order Extensions. In Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra, editors, Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Volume 4460 of Lecture Notes in Computer Science, pages 247-274, Springer, 2006. [doi]
Abstract is missing.