scientific article; zbMATH DE number 5000990

MaRDI QIDQ3367332zbMATH OpenFDO

Authors Marcus Rossberg

Publication date 24 January 2006

zbMATH Keywords

completeness theoremfirst-order logicsecond-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Recommendations

• First-order predicate logic and Gödel's completeness theorem
• Intuitionistic completeness of first-order logic
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 7592011
• scientific article; zbMATH DE number 1028229
• Strong logics of first and second order
• First-order intensional logic
• First-order Gödel logics
• scientific article; zbMATH DE number 824731
• scientific article; zbMATH DE number 3251384

Cited in

(4)

• Intuitionistic completeness of first-order logic
• Logic between expressivity and complexity
• Neo-Logicism and Its Logic
• Relating Z and first-order logic

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 Q3367332)