General clauses for SAT-based proof search in intuitionistic propositional logic
From MaRDI portal
Publication:6611961
DOI10.1007/s10817-024-09703-8MaRDI QIDQ6611961
Camillo Fiorentini, Mauro Ferrari
Publication date: 27 September 2024
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: General clauses for SAT-based proof search in intuitionistic propositional logic
