scientific article
From MaRDI portal
Publication:3760525
zbMath0623.03034MaRDI QIDQ3760525
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Axiomatization of the De Morgan type rules ⋮ Singulary extensional connectives: A closer look ⋮ A calculus for the common rules of \(\wedge\) and \(\vee\) ⋮ Axiomatizing logics closely related to varieties ⋮ Axiomatization of semigroup consequences
This page was built for publication: