Realization of Intuitionistic Logic by Proof Polynomials

DOI10.1080/11663081.1999.10510968zbMath0989.03013OpenAlexW2048994503MaRDI QIDQ4531579

Sergej N. Artemov

Publication date: 22 May 2002

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1999.10510968

zbMATH Keywords

provabilityintuitionistic logicfunctional completenessarithmetical semanticsproof polynomialsproof realizability

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Logic of proofs
• Some theorems about the sentential calculi of Lewis and Heyting
• Logic and structure.

This page was built for publication: Realization of Intuitionistic Logic by Proof Polynomials