Proof theory in the USSR 1925–1969

DOI10.2307/2274689zbMath0747.03024OpenAlexW1990256492MaRDI QIDQ3984419

Grigori Mints

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274689

zbMATH Keywords

surveybibliographyproof theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, Algebraic proofs of cut elimination, Image of Soviet and Russian logic in the West. Latter Half of the XXth Century, Lorenzen's Proof of Consistency for Elementary Number Theory, Glushkov's evidence algorithm, Some pitfalls of LK-to-LJ translations and how to avoid them, 2005–06 Winter Meeting of the Association for Symbolic Logic

Cites Work

• Zur Deutung der intuitionistischen Logik
• A sequential variant of constructive logic calculi for normal formulas not containing structural rules
• [Russian Text Ignored]
• Unnamed Item
• Unnamed Item