Publication:4329233
From MaRDI portal
zbMath1001.03055MaRDI QIDQ4329233
Publication date: 11 December 2002
provability; intuitionistic logic; functional completeness; logic of proofs; operations on proofs; modal logic S4; proof polynomial; arithmetical interpretation; BHK-interpretation
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