Well-structured mathematical logic

MaRDI QIDQ2849811zbMATH OpenFDO

Authors Damon Scott

Publication date 19 September 2013

zbMATH Keywords

formal logicformalization of mathematicsformalized mathematical reasoning

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) General logic (03B99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 5994598
• Mathematical logic
• scientific article; zbMATH DE number 3248792
• scientific article; zbMATH DE number 5500964
• Mathematical Logic
• scientific article; zbMATH DE number 3241254
• Mathematical logic
• Mathematische Logik
• scientific article; zbMATH DE number 663929

Cited in

(2)

• A structurally complete fragment of relevant logic
• Recognizable logics

This page was built for publication: Well-structured mathematical logic

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