An annotated logic defined by a matrix

MaRDI QIDQ2772759zbMATH OpenFDO

Authors S. E. Bowers, R. A. Lewin, Don Pigozzi

Publication date 19 February 2002

zbMATH Keywords

abstract algebraic logicalgebraic semanticsalgebraizable logicsannotated logicequational axiomatizationparaconsistent logicquasivarietystructural logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Paraconsistent logics (03B53) Algebraic logic (03G99) Quasivarieties (08C15)

Recommendations

• scientific article; zbMATH DE number 1302500
• scientific article; zbMATH DE number 2019878
• Algebras and matrices for annotated logics
• The Paraconsistent Logics PJ
• On the algebraizability of annotated logics

Cited in

(4)

• Algebras and matrices for annotated logics
• scientific article; zbMATH DE number 1302500 (Why is no real title available?)
• scientific article; zbMATH DE number 2019878 (Why is no real title available?)
• On free annotated algebras

This page was built for publication: An annotated logic defined by a matrix

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