scientific article; zbMATH DE number 935034

MaRDI QIDQ4895422zbMATH OpenFDO

Authors Giovanni Criscuolo

Publication date 14 October 1996

Full work available at URL https://eudml.org/doc/39059

zbMATH Keywords

metalogical reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1349998
• A sound and complete semantics for a version of negation as failure
• A linear axiomatization of negation as failure
• Modal Logic and Negation as Failure
• scientific article; zbMATH DE number 879002
• A Modal Approach to Negation as Failure Rule
• Negation in metacomplete relevant logics
• The consistency of negation as failure
• scientific article; zbMATH DE number 65758
• scientific article; zbMATH DE number 1926609

Cited in

(2)

• Inconsistency of a metatheory of Nudel'man
• scientific article; zbMATH DE number 4101148 (Why is no real title available?)

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