Axiomatizations of Logics with Values in Groups

DOI10.1112/jlms/s2-14.2.193zbMath0353.02004OpenAlexW1967624104MaRDI QIDQ4123296

John A. Kalman

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

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50)

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