Semantical Investigations in Heyting's Intuitionistic Logic

Focusing on non-classical logics, this book examines the properties of logical systems that incorporate classical connectives and implications near Heyting's implication. It intentionally omits the topic of entailment, citing existing literature, while later chapters cater to intuitionist mathematicians. The author acknowledges the influence of colleagues in shaping the work, highlighting significant contributions from Professors Kreisel, Rabin, and Scott. Although the text touches on advanced concepts like topological models and theories of types, it refrains from delving into a comprehensive theory due to publication constraints.