Equality of consequence relations in finite-valued logical matrices

zbMATH Open1273.03041MaRDI QIDQ2856065FDOQ2856065

Authors: Leonid Yu. Devyatkin 

Publication date: 23 October 2013

Recommendations

• Characterizing finite-valuedness
• scientific article; zbMATH DE number 3873299
• Four consequence relations, three orders, two matrices, one bilattice
• scientific article; zbMATH DE number 2109539
• Three-element non-finitely axiomatizable matrices and term-equivalence

zbMATH Keywords

consequence relationequality of matricesproduct of logical matrices

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited In (5)

• Title not available (Why is that?)
• Four consequence relations, three orders, two matrices, one bilattice
• Title not available (Why is that?)
• Title not available (Why is that?)
• Characterizing finite-valuedness

This page was built for publication: Equality of consequence relations in finite-valued logical matrices

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