The intuitionistic conceptions of logic (Q2776064)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The intuitionistic conceptions of logic |
scientific article; zbMATH DE number 1714300
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The intuitionistic conceptions of logic |
scientific article; zbMATH DE number 1714300 |
Statements
7 October 2002
0 references
survey
0 references
intuitionistic logic
0 references
The intuitionistic conceptions of logic (English)
0 references
A philosophically well-motivated survey of intuitionistic logic, covering the Gödel translation, natural deduction, type theory, choice sequences, bar-induction, semantics (Kripke, topological and sheaf semantics, realizability).NEWLINENEWLINEFor the entire collection see [Zbl 0972.00009].
0 references
