Axiomatizations of Logics with Values in Groups
From MaRDI portal
Publication:4123296
DOI10.1112/jlms/s2-14.2.193zbMath0353.02004OpenAlexW1967624104MaRDI QIDQ4123296
Publication date: 1976
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/jlms/s2-14.2.193
Related Items (2)
On the algebraizability of the implicational fragment of abelian logic ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
This page was built for publication: Axiomatizations of Logics with Values in Groups