Publication:3461050
From MaRDI portal
DOI10.7699/j.ynnu.ns-2015-036zbMath1340.03004MaRDI QIDQ3461050
Publication date: 15 January 2016
quantitative logic; symmetry theorem; equivalent definition; proposition logic; contradiction degree
03B50: Many-valued logic