scientific article; zbMATH DE number 1751350

zbMath1011.03045MaRDI QIDQ4534366

Tatiana Yavorskaya, Sergej N. Artemov

Publication date: 29 May 2003

Full work available at URL: http://www.ams.org/distribution/mmj/vol1-4-2001/artsidon.pdf

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

zbMATH Keywords

provabilitylogic of proofsrecursive axiomatizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Intuitionistic hypothetical logic of proofs ⋮ Referential logic of proofs ⋮ On causality as the fundamental concept of Gödel's philosophy

This page was built for publication: