scientific article

zbMATH Open0673.03017MaRDI QIDQ3826525

Mirosław Truszczyński, Victor Marek

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

nonmonotonic logicfixed pointclosed world assumption

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (2)

Alternative evidence for nonnegativity ⋮ On the autoepistemic reconstruction of logic programming

Recommendations

• Constructive Proofs of Negated Statements 👍 👎
• The consistency of negation as failure 👍 👎
• A linear axiomatization of negation as failure 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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