Axiomatization of semigroup consequences
From MaRDI portal
Publication:1263575
DOI10.1007/BF01620620zbMath0688.03017MaRDI QIDQ1263575
Publication date: 1989
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
03B99: General logic
Related Items
Strongly finitely based equational theories, Axiomatizing logics closely related to varieties, Singulary extensional connectives: A closer look, False though partly true -- an experiment in logic, Axiomatization of the De Morgan type rules
Cites Work