Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification

DOI10.1023/A:1023260415982zbMath1021.03002OpenAlexW4256487191MaRDI QIDQ1810851

Andrei Voronkov

Publication date: 9 June 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023260415982

zbMATH Keywords

provabilityintuitionistic logicequalityrigid \(E\)-unificationconstraint calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification