scientific article; zbMATH DE number 2019878

MaRDI QIDQ4440574zbMATH OpenFDO

Authors Guillermo Ortiz Rico

Publication date 2002

zbMATH Keywords

annotated logicinterlaced bilatticesreasoning about inconsistent databases

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Database theory (68P15) Logic in computer science (03B70)

Recommendations

• An annotated logic defined by a matrix
• On the algebraizability of annotated logics
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• The Paraconsistent Logics PJ
• A survey of annotated logics

Cited in

(5)

• Annotated logics \(Q\tau\) and ultraproducts
• An annotated logic defined by a matrix
• The Paraconsistent Logics PJ
• Why paraconsistent logics?
• A survey of annotated logics

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