An asymptotically tight bound on countermodels for Lukasiewicz logic

Stefano Aguzzoli. An asymptotically tight bound on countermodels for Lukasiewicz logic. Int. J. Approx. Reasoning, 43(1):76-89, 2006. [doi]

Abstract

Abstract is missing.