scientific article; zbMATH DE number 3893173

zbMath0561.03011MaRDI QIDQ5184889

Daniele Mundici

Publication date: 1984

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

zbMATH Keywords

Gödel's incompletenessLindenbaum algebrasinfinite-valued sentential calculus of Łukasiewicz

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Other algebras related to logic (03G25) Many-valued logic (03B50) Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Abstract model theory (03C95)

This page was built for publication: