scientific article; zbMATH DE number 935034

zbMATH Open0868.68101MaRDI QIDQ4895422FDOQ4895422

Giovanni Criscuolo

Publication date: 14 October 1996

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

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

zbMATH Keywords

metalogical reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (2)

• Title not available (Why is that?)
• Inconsistency of a metatheory of Nudel'man

Recommendations

• 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?) 👍 👎
• Modal Logic and Negation as Failure 👍 👎
• The consistency of negation as failure 👍 👎
• A sound and complete semantics for a version of negation as failure 👍 👎
• A Modal Approach to Negation as Failure Rule 👍 👎
• A linear axiomatization of negation as failure 👍 👎

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)