Types of Logic