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

Recommendations

• Conceptual Structures at Work
• Constructive negations and paraconsistency
• Negation and paraconsistent logics
• scientific article; zbMATH DE number 1749146
• The logic of conditional negation
• Negation in the light of modal logic
• Publication:4860649
• Computing implications with negation from a formal context
• Negations in the adjunctive discursive logic

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

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)