Advertisement

Introduction

  • Thomas Streicher
Part of the Progress in Theoretical Computer Science book series (PTCS)

Abstract

When studying the semantics of constructive logic and constructive mathematics the usual model theoretic semantics for classical logic and mathematics based on naive set theory does not work. The reason is that the basic notion of truth, adequate for classical logic, is not adequate for constructive or intuitionistic logic. When reasoning constructively it is not relevant whether a proposition is true or false but whether it has a proof or not.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1991

Authors and Affiliations

  • Thomas Streicher
    • 1
  1. 1.Fakultat für Mathematik und InformatikUniversität PassauPassauGermany

Personalised recommendations