scientific article; zbMATH DE number 2015289

zbMath1032.03005MaRDI QIDQ4438119

A. Górnicka

Publication date: 9 December 2003

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

zbMATH Keywords

logical matricessentential calculusdual consequence

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50)

This page was built for publication: