Equational logic

DOI10.1305/NDJFL/1093893457zbMath0175.25905OpenAlexW4231360127MaRDI QIDQ2533179

C. A. Meredith, A. N. Prior

Publication date: 1968

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093893457

zbMATH Keywords

general logic

Related Items (6)

The shortest single axioms for groups of exponent 4 ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) ⋮ Variations on a theme of Curry ⋮ The two-property and condensed detachment

This page was built for publication: Equational logic