The intuitionistic conceptions of logic

MaRDI QIDQ2776064zbMATH OpenFDO

Authors Dirk van Dalen

Publication date 7 October 2002

zbMATH Keywords

intuitionistic logicsurvey

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Review text

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].

Cited in

(14)

• The rationalist conception of logic
• Paraconsistency everywhere
• An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
• The logic of sortals. A conceptualist approach
• A short introduction to intuitionistic logic
• scientific article; zbMATH DE number 5521896 (Why is no real title available?)
• scientific article; zbMATH DE number 3963783 (Why is no real title available?)
• Alonzo Church's Contributions to Philosophy and Intensional Logic
• Дедуктивные логики и их связь с интуиционистской логикой
• scientific article; zbMATH DE number 218494 (Why is no real title available?)
• The Semantic Conception of Logic
• An intuitionistic defence of Berkeley’s master argument
• scientific article; zbMATH DE number 7325823 (Why is no real title available?)
• Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach

This page was built for publication: The intuitionistic conceptions of logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2776064)