scientific article; zbMATH DE number 1302500

MaRDI QIDQ4249030zbMATH OpenFDO

Authors R. A. Lewin, Irene F. Mikenberg, María G. Schwarze

Publication date 8 November 1999

zbMATH Keywords

annotated logicsinconsistenciesmatrix semanticsparaconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in computer science (03B70)

Recommendations

• Algebras and matrices for annotated logics
• An annotated logic defined by a matrix
• scientific article; zbMATH DE number 3861127
• scientific article; zbMATH DE number 3891329
• scientific article; zbMATH DE number 4031640
• A survey of annotated logics
• scientific article; zbMATH DE number 2070193
• On the algebraizability of annotated logics
• scientific article; zbMATH DE number 3878899
• Matrices, primitive satisfaction and finitely based logics

Cited in

(7)

• Algebras and matrices for annotated logics
• An annotated logic defined by a matrix
• Discriminant structures associated to matrix semantics
• scientific article; zbMATH DE number 3861127 (Why is no real title available?)
• Literal-paraconsistent and literal-paracomplete matrices
• MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS
• On free annotated algebras

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