scientific article; zbMATH DE number 3652414

MaRDI QIDQ3852250zbMATH OpenFDO

Authors Franco Montagna

Publication date 1979

zbMATH Keywords

Boolean algebrafree diagonalizable algebraKripke modelsLindenbaum sentence algebraPeano arithmetic

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Model-theoretic algebra (03C60) Chain conditions, complete algebras (06E10) Free algebras (08B20) Axiomatic model classes (08C10)

Cited in

(14)

• Around provability logic
• The modal logic of provability. The sequential approach
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• Hyperdiagonalizable algebras
• Generic generalized Rosser fixed points
• Provability: The emergence of a mathematical modality
• Rosser and Mostowski sentences
• On arithmetical completeness of the logic of proofs
• Obituary: Franco Montagna (1948--2015)
• Topological structure of diagonalizable algebras and corresponding logical properties of theories
• Uniform arithmetical completeness of modal provability logics
• Franco Montagna's work on provability logic and many-valued logic
• Fixed point algebras
• Intermediate logics and the de Jongh property

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3852250)