Intuitionistische Untersuchungen der formalistischen Logik
From MaRDI portal
Publication:5803251
DOI10.1017/S0027763000010023zbMath0042.00606MaRDI QIDQ5803251
Publication date: 1951
Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
Related Items
On Universal Character of the Primitive Logic, Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited, Interpolation via translations, GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY, A generalization of Curry's theorem, Bounded functional interpretation and feasible analysis, Negative translations not intuitionistically equivalent to the usual ones, A short proof of Glivenko theorems for intermediate predicate logics, A proof‐theoretic metatheorem for tracial von Neumann algebras, Glivenko theorems and negative translations in substructural predicate logics, On computational properties of Cauchy problems generated by accretive operators, ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS, Double negation as minimal negation, Delimited control operators prove double-negation shift, Automated Constructivization of Proofs, The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective, Scattered toposes, Bounded functional interpretation, A functional interpretation for nonstandard arithmetic, Forcing in Proof Theory, The theory of empirical sequences, A Kuroda-style \(j\)-translation, Eine Darstellung der Intuitionistischen Logik in der Klassischen, Gödel and Intuitionism, A Certain Kind of Formal Theories, On an Application of Intermediate Logics, Shoenfield is Gödel after Krivine