scientific article; zbMATH DE number 2019878

zbMATH Open1037.03029MaRDI QIDQ4440574FDOQ4440574

Authors: Guillermo Ortiz Rico 

Publication date: 2002

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

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

zbMATH Keywords

annotated logicinterlaced bilatticesreasoning about inconsistent databases

Mathematics Subject Classification ID

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

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)