Nonmonotonicity in (the metamathematics of) arithmetic

DOI10.1023/A:1005505417416MaRDI QIDQ1583789zbMATH OpenFDO

Authors Karl-Georg Niebergall

Publication date 30 October 2000

Published in Erkenntnis (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic reasoningnonmonotonic logicmetamathematicsantitonic theory extensions

Mathematics Subject Classification ID

Other nonclassical logic (03B60) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Recommendations

• Publication:4729762
• A theory of nonmonotonic rule systems I
• Nonmonotonic reasoning, preferential models and cumulative logics
• Semantical considerations on nonmonotonic logic
• Deductive Nonmonotonic Inference Operations: Antitonic Representations

Cited in

(4)

• scientific article; zbMATH DE number 1042847 (Why is no real title available?)
• scientific article; zbMATH DE number 4114596 (Why is no real title available?)
• Non-monotonic set theory as a pragmatic foundation of mathematics
• scientific article; zbMATH DE number 4179341 (Why is no real title available?)

This page was built for publication: Nonmonotonicity in (the metamathematics of) arithmetic

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