scientific article; zbMATH DE number 935034

zbMATH Open0868.68101MaRDI QIDQ4895422

Giovanni Criscuolo

Publication date: 14 October 1996

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

metalogical reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Unnamed Item ⋮ Inconsistency of a metatheory of Nudel'man

Recommendations

• A sound and complete semantics for a version of negation as failure 👍 👎
• Modal Logic and Negation as Failure 👍 👎
• The consistency of negation as failure 👍 👎
• A linear axiomatization of negation as failure 👍 👎
• A Modal Approach to Negation as Failure Rule 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: