scientific article

zbMath0742.03007MaRDI QIDQ3979210

Andrzej Zbrzezny

Publication date: 26 June 1992

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

zbMATH Keywords

semanticspartial operationssequent axiomatization

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

This page was built for publication: