Publication:4329233

zbMath1001.03055MaRDI QIDQ4329233

Sergej N. Artemov

Publication date: 11 December 2002

zbMATH Keywords

provability; intuitionistic logic; functional completeness; logic of proofs; operations on proofs; modal logic S4; proof polynomial; arithmetical interpretation; BHK-interpretation

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B20: Subsystems of classical logic (including intuitionistic logic)

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)

Related Items

Symmetric Logic of Proofs