Nonmonotonicity in (the metamathematics of) arithmetic

DOI10.1023/A:1005505417416zbMATH Open0962.03021MaRDI QIDQ1583789FDOQ1583789

Authors: Karl-Georg Niebergall 

Publication date: 30 October 2000

Published in: Erkenntnis (Search for Journal in Brave)

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

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)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)