Script opposition and logical mechanism in punning

Based on a larger project on punning, this paper outlines the application of the General Theory of Verbal Humor to imperfect puns. The aim is to illustrate the intricate mechanisms of this seemingly simple joke type. Application necessitates the expansion and further formalization of the linguistic tools available for the description and explanation of humor, in this case centrally the knowledge resources for script opposition and logical mechanism. This elaboration of the GTVH is possible, because of its explicitly theory-based and formalized nature. Key results are the distinction of punning and wordplay, as well as verbal and referential humor.