scientific article; zbMATH DE number 1735872

zbMath1001.03055MaRDI QIDQ4329233

Sergej N. Artemov

Publication date: 11 December 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

provabilityintuitionistic logicfunctional completenesslogic of proofsoperations on proofsmodal logic S4proof polynomialarithmetical interpretationBHK-interpretation

Mathematics Subject Classification ID

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

Related Items

Symmetric Logic of Proofs