1991 | OriginalPaper | Buchkapitel
Introduction
verfasst von : Thomas Streicher
Erschienen in: Semantics of Type Theory
Verlag: Birkhäuser Boston
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.