Algebras and matrices for annotated logics

DOI10.1023/A:1005203411722MaRDI QIDQ1576384zbMATH OpenOpenAlexFDO

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

Publication date 29 January 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005203411722

zbMATH Keywords

algebraic semanticsannotated logicsdecision procedurematrix semanticsparaconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in computer science (03B70) Algebraic logic (03G99)

Recommendations

• scientific article; zbMATH DE number 1302500
• An annotated logic defined by a matrix
• On the algebraizability of annotated logics
• On free annotated algebras

Cited in

(10)

• On the algebraizability of annotated logics
• An annotated logic defined by a matrix
• Discriminant structures associated to matrix semantics
• scientific article; zbMATH DE number 1302500 (Why is no real title available?)
• scientific article; zbMATH DE number 1089458 (Why is no real title available?)
• MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS
• On free annotated algebras
• Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
• A note on R\(\rightarrow\) matrices
• A note on matrices for systems of nonsense-logics

This page was built for publication: Algebras and matrices for annotated logics

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