© 1981

Semantical Investigations in Heyting’s Intuitionistic Logic


Part of the Synthese Library book series (SYLI, volume 148)

Table of contents

  1. Front Matter
    Pages i-x
  2. Dov M. Gabbay
    Pages 1-5
  3. Dov M. Gabbay
    Pages 6-19
  4. Dov M. Gabbay
    Pages 20-42
  5. Dov M. Gabbay
    Pages 83-107
  6. Dov M. Gabbay
    Pages 108-120
  7. Dov M. Gabbay
    Pages 121-144
  8. Dov M. Gabbay
    Pages 145-158
  9. Dov M. Gabbay
    Pages 159-169
  10. Dov M. Gabbay
    Pages 170-177
  11. Dov M. Gabbay
    Pages 178-192
  12. Dov M. Gabbay
    Pages 193-202
  13. Dov M. Gabbay
    Pages 227-265
  14. Dov M. Gabbay
    Pages 266-279
  15. Back Matter
    Pages 280-294

About this book


From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt­ ing's implication. I have not included anything on entailment, al­ though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician. Originally, I intended to include more material in that spirit but I decided against it. There is no coherent body of material to include that builds naturally on the present book. There are some serious results on topological models, second order Beth and Kripke models, theories of types, etc., but it would require further research to be able to present a general theory, possibly using sheaves. That would have postponed pUblication for too long. I would like to dedicate this book to my colleagues, Professors G. Kreisel, M.O. Rabin and D. Scott. I have benefited greatly from Professor Kreisel's criticism and suggestions. Professor Rabin's fun­ damental results on decidability and undecidability provided the powerful tools used in obtaining the majority of the results reported in this book. Professor Scott's approach to non-classical logics and especially his analysis of the Scott consequence relation makes it possible to present Heyting's logic as a beautiful, integral part of non-classical logics.


logic propositional calculus semantic semantics

Authors and affiliations

  1. 1.Bar-Ilan UniversityIsrael

Bibliographic information

  • Book Title Semantical Investigations in Heyting’s Intuitionistic Logic
  • Authors Dov M. Gabbay
  • Series Title Synthese Library
  • DOI
  • Copyright Information Springer Science+Business Media B.V. 1981
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-90-277-1202-8
  • Softcover ISBN 978-90-481-8362-3
  • eBook ISBN 978-94-017-2977-2
  • Edition Number 1
  • Number of Pages X, 294
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logic
  • Buy this book on publisher's site