Oskar Becker and the modal translation of intuitionistic logic
From MaRDI portal
Publication:2094160
DOI10.1007/978-3-030-97303-2_18OpenAlexW4285122308MaRDI QIDQ2094160
Pierluigi Minari, Stefania Centrone
Publication date: 28 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-97303-2_18
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 18th century (01A50) History of mathematics in Late Antiquity and medieval Europe (01A35) History of mathematics in the 17th century (01A45) History of Greek and Roman mathematics (01A20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intensional mathematics
- Modal companions of intermediate propositional logics
- The first axiomatization of relevant logic
- Interpretations of intuitionist logic in non-normal modal logics
- Untersuchungen über das logische Schliessen. II
- New foundations for Lewis modal systems
- Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
- Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
- What is strict implication?
- Justification Logic
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Some theorems about the sentential calculi of Lewis and Heyting