↓ Skip to main content
What is this page? Embed badge

Semantical Investigations in Heyting’s Intuitionistic Logic

Overview of attention for book
Cover of 'Semantical Investigations in Heyting’s Intuitionistic Logic'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Logical Systems and Semantics
  4. Altmetric Badge
    Chapter 3 Introducing HPC
  5. Altmetric Badge
    Chapter 4 The Kripke, Beth and Topological Interpretations for HPC
  6. Altmetric Badge
    Chapter 5 Heyting’s Propositional Calculus and Extensions
  7. Altmetric Badge
    Chapter 6 Three Intermediate Logics
  8. Altmetric Badge
    Chapter 7 Formulas in One Variable
  9. Altmetric Badge
    Chapter 8 Propositional Connectives
  10. Altmetric Badge
    Chapter 9 The Interpolation Theorem
  11. Altmetric Badge
    Chapter 10 Second Order Propositional Calculus
  12. Altmetric Badge
    Chapter 11 Modified Kripke Interpretation
  13. Altmetric Badge
    Chapter 12 Theories in HPC 1
  14. Altmetric Badge
    Chapter 13 Theories in HPC 2
  15. Altmetric Badge
    Chapter 14 Completeness of HPC with Respect to RE and Post Structures
  16. Altmetric Badge
    Chapter 15 Undecidability Results
  17. Altmetric Badge
    Chapter 16 Decidability Results
Attention for Chapter 16: Decidability Results
Altmetric Badge

Citations

dimensions_citation
202 Dimensions
Summary Dimensions citations
So far, Dimensions has found 202 publications that cite this research output.

202

The most recent citing publications are shown below. View all 202 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.