An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper

DOI10.1007/s11787-021-00292-3zbMath1490.03002OpenAlexW4200365689MaRDI QIDQ2070432

Antonino Drago

Publication date: 24 January 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00292-3

zbMATH Keywords

choices of intuitionist logicchoices of Kolmogorov's 1932 paperintuitionist reasoningstructural foundation of intuitionist logictwo dichotomies

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The foundations of mathematics. A study in the philosophy of science
• Constructivism in mathematics. An introduction. Volume II
• Zur Deutung der intuitionistischen Logik
• Conceptions of truth in intuitionism
• Kolmogorov and mathematical logic
• Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle
• On constructive mathematics

This page was built for publication: An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper