scientific article

zbMATH Open0742.68052MaRDI QIDQ4012256FDOQ4012256

Luis Fariñas del Cerro, Walter Carnielli, Mameda Lima Marques

Publication date: 27 September 1992

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

zbMATH Keywords

paraconsistent logicscontextual negationreasoning under contradiction

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cited In (6)

• A simple signed system for paraconsistent reasoning
• Title not available (Why is that?)
• Paraconsistency and plausible argumentation in generative grammar: A case study
• Conceptual Structures at Work
• Resolving contradictions: A plausible semantics for inconsistent systems
• Title not available (Why is that?)

Recommendations

• Constructive negations and paraconsistency 👍 👎
• The logic of conditional negation 👍 👎
• Negation and paraconsistent logics 👍 👎
• Negation in the light of modal logic 👍 👎
• Conceptual Structures at Work 👍 👎
• Computing implications with negation from a formal context 👍 👎
• 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 Q4012256)