scientific article; zbMATH DE number 67513

MaRDI QIDQ4012256zbMATH OpenFDO

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

Publication date 27 September 1992

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)

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

Cited in

(6)

• A simple signed system for paraconsistent reasoning
• scientific article; zbMATH DE number 2015298 (Why is no real title available?)
• Paraconsistency and plausible argumentation in generative grammar: A case study
• Conceptual Structures at Work
• Resolving contradictions: A plausible semantics for inconsistent systems
• scientific article; zbMATH DE number 1523021 (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 Q4012256)