Wanlin Li Knihy

Exploring the concept of "global ambiguity," this volume delves into its significance within the American gothic genre of the nineteenth century. It investigates how this formal element interacts with and reflects cultural ideologies, offering insights into the genre's evolution and its broader societal implications. The analysis highlights the intricate relationship between gothic form and the cultural context of the time, contributing to a deeper understanding of American gothic literature.

Die Klauselresolution ist derzeit das populärste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschränkt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die gesamte Prädikatenlogik bearbeitet. Die in dieser Arbeit eingeführten Tableaus - Polybäume mit Literaleinfärbung - dienen zur strukturisierten Formeldarstellung. Daraus erhält man einen völlig neuen Kalkül, die Tableauresolution. Der Übergang von der Tableauresolution zur Tableaugraphresolution erfolgt wie von der Klauselresolution zur Klauselgraphresolution. Systematisch werden die Eigenschaften wie Korrektheit, Vollständigkeit und Konfluenz darüber ausgesprochen.