{"id":"arxiv/2609.24673","url":"https://arxiv.org/abs/2609.24673","tags":["math.LO","cs.LO"],"score":0,"title":"A translation of Maehara's \"Eine Darstellung der Intuitionistischen Logik in der Klassischen\"","domain":"math.LO","source":"arxiv","authors":["Justus Becker"],"reviews":0,"subject":"math.LO","summary":"A key motivation for Heyting's intuitionistic logic was to gain a formal notion of Brouwer's idea of mathematics as a \"construction of the mind\". One might thus argue that Heyting's Calculus should also correspond to a notion of provability. Inspired by this idea, Gödel formalised this connection via an embedding into a modal calculus, which is now known as the modal logic S4. While in his original publication, he only proved soundness for the embedding from intuitionistic propositional logic into S4, the converse was proved fifteen years later by McKinsey and Tarski. Although, it was later…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}