scientific article; zbMATH DE number 6154334

MaRDI QIDQ4914850zbMATH OpenFDO

Authors N. A. Znamenskaya

Publication date 15 April 2013

zbMATH Keywords

expressibilityimplicationlogical matrixlogical operationparacomplete logicparaconsistent logicvaluation

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
• scientific article; zbMATH DE number 4031640
• scientific article; zbMATH DE number 5070342
• О критерии паранормальности для $n$-значных логических матриц
• Syntactical and semantical characterization of a class of paraconsistent logics
• A matrix characterization for multiplicative exponential linear logic
• scientific article; zbMATH DE number 4041882
• Logical matrices and non-structural consequence operators
• Computational properties of partial non-deterministic matrices and their logics
• Matrices, primitive satisfaction and finitely based logics

Cited in

(2)

• Literal-paraconsistent and literal-paracomplete matrices
• On the three-valued expansions of Kleene's logic

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