scientific article; zbMATH DE number 937377

zbMath0855.03038MaRDI QIDQ4896518

Lev D. Beklemishev

Publication date: 9 February 1997

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

zbMATH Keywords

diagonalizable algebraLindenbaum algebraMagari algebraspropositional second-order provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (2)

ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS ⋮ Proof Theoretic Analysis by Iterated Reflection

This page was built for publication: