Arithmetical Completeness of the Intuitionistic Logic of Proofs

DOI10.1093/logcom/exp041zbMath1252.03139OpenAlexW2093881948MaRDI QIDQ3094147

Evgenij Dashkov

Publication date: 21 October 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp041

zbMATH Keywords

Heyting arithmeticdiagonalizationadmissible rulelogic of proofsprojective formula

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Intuitionistic hypothetical logic of proofs ⋮ Hypothetical logic of proofs

This page was built for publication: Arithmetical Completeness of the Intuitionistic Logic of Proofs