scientific article

zbMath0728.03018MaRDI QIDQ3351351

Grzegorz Bryll, Katarzyna Hałkowska

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logical matricesconsequence operatorsrefutation axiomsrefutation rule

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

This page was built for publication: