Paraconsistent reasoning based on XML

MaRDI QIDQ3415244zbMATH OpenFDO

Authors Fuxi Zhu, Changsheng Gong, Zhenkun Yu

Publication date 16 January 2007

zbMATH Keywords

paraconsistent logicautomatic reasoningannotated logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Mechanization of proofs and logical operations (03B35)

Recommendations

• Automatic reasoning in paraconsistent logic
• A knowledge representation perspective: Logics for paraconsistent reasoning
• scientific article; zbMATH DE number 1269574
• Multi-agent Systems and Paraconsistent Knowledge
• Automatic theorem proving in paraconsistent logics: Theory and implementation

Cited in

(5)

• Automatic reasoning in paraconsistent logic
• Multi-agent Systems and Paraconsistent Knowledge
• scientific article; zbMATH DE number 1895908 (Why is no real title available?)
• Satisfiability of Constraint Specifications on XML Documents
• On the Complexity of Verifying Consistency of XML Specifications

This page was built for publication: Paraconsistent reasoning based on XML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3415244)