Table of Contents

Logical Systems and Semantics.- Introducing HPC.- The Kripke, Beth and Topological Interpretations for HPC.- Heyting’s Propositional Calculus and Extensions.- Three Intermediate Logics.- Formulas in One Variable.- Propositional Connectives.- The Interpolation Theorem.- Second Order Propositional Calculus.- Modified Kripke Interpretation.- Theories in HPC 1.- Theories in HPC 2.- Completeness of HPC with Respect to RE and Post Structures.- Undecidability Results.- Decidability Results.