Interactive proof-search for equational reasoning
From MaRDI portal
Publication:3386920
DOI10.1093/jigpal/jzaa013zbMath1477.03033OpenAlexW3032357863MaRDI QIDQ3386920
Favio E. Miranda-Perea, Lourdes del Carmen González Huesca, P. Selene Linares-Arévalo
Publication date: 8 January 2021
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzaa013
Mechanization of proofs and logical operations (03B35) Equational logic, Mal'tsev conditions (08B05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software